alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Fix escaping of state name in save_reachable()'s output.

Browse source 
* src/tgbaalgos/save.c (process_state): Escape quotes in the
name of source and destination states.  This fixes a side bug
in the upcoming degenid.test test case.
This commit is contained in:
Alexandre Duret-Lutz 2011-08-25 18:29:46 +02:00
parent d8ba172e6d
commit bf7b94e1cd
2 changed files with 12 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

8
ChangeLog
View file

@ -1,3 +1,11 @@
2011-08-25 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Fix escaping of state name in save_reachable()'s output.
* src/tgbaalgos/save.c (process_state): Escape quotes in the
name of source and destination states. This fixes a side bug
in the upcoming degenid.test test case.
2011-08-25 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Running `ltl2tgba -R1q -R1t -N` would degeneralize before and

7
src/tgbaalgos/save.cc
View file

@ -52,12 +52,13 @@ namespace spot
process_state(const state* s, int, tgba_succ_iterator* si)
{
const bdd_dict* d = automata_->get_dict();
std::string cur = automata_->format_state(s);
std::string cur = escape_str(automata_->format_state(s));
for (si->first(); !si->done(); si->next())
{
state* dest = si->current_state();
os_ << "\"" << cur << "\", \""
<< automata_->format_state(dest) << "\", \"";
os_ << "\"" << cur << "\", \"";
escape_str(os_, automata_->format_state(dest));
os_ << "\", \"";
escape_str(os_, bdd_format_formula(d, si->current_condition()));
os_ << "\",";
print_acc(si->current_acceptance_conditions()) << ";" << std::endl;