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

to_spin_string: fix output of false and true

Browse source 
We used to output 0 and 1, but "spin -f" does not under understand
that.

* src/ltlvisit/tostring.cc (kw_spin): Output true and false instead of
0 and 1.
This commit is contained in:
Alexandre Duret-Lutz 2012-10-09 12:08:37 +02:00
parent 6167526548
commit 852603416f
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/ltlvisit/tostring.cc
View file

@ -99,8 +99,8 @@ namespace spot
};
const char* spin_kw[] = {
"0",
"1",
"false", // 0 doesn't work from the command line
"true", // 1 doesn't work from the command line
"[*0]", // not supported
" xor ", // rewritten
" -> ", // rewritten, although supported