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

* src/tgbatest/ltl2tgba.test: Fix previous test case.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2011-02-01 13:12:24 +01:00
parent ad93f87591
commit f458eba1d7
2 changed files with 5 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
ChangeLog
View file

@ -1,3 +1,7 @@
2011-02-01 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* src/tgbatest/ltl2tgba.test: Fix previous test case.
2011-01-28 Alexandre Duret-Lutz <adl@lrde.epita.fr> 2011-01-28 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Fixup minimize_monitor(). Fixup minimize_monitor().

2
src/tgbatest/ltl2tgba.test
View file

@ -106,7 +106,7 @@ grep 'transitions: 0$' stdout
grep 'states: 1$' stdout grep 'states: 1$' stdout
# Make sure a monitor for F(a & F(b)) accepts everything. # Make sure a monitor for F(a & F(b)) accepts everything.
run 0 ../ltl2tgba -ks -f "$f" | grep ' ->' > stdout run 0 ../ltl2tgba -M -f "F(a & F(b))" | grep ' ->' > stdout
cat >expected <<EOF cat >expected <<EOF
0 -> 1 0 -> 1
1 -> 1 [label="1\n"] 1 -> 1 [label="1\n"]