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

* src/tgbatest/spotlbtt.test: Do not check -R1q -R1t -R2q -R2t.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2007-06-21 12:50:07 +00:00
parent 034e0e44f1
commit 3ffba1c988
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 @@
2007-06-20 Alexandre Duret-Lutz <adl@gnu.org>
* src/tgbatest/spotlbtt.test: Do not check -R1q -R1t -R2q -R2t.
2007-04-30 Alexandre Duret-Lutz <adl@gnu.org> 2007-04-30 Alexandre Duret-Lutz <adl@gnu.org>
* src/tgbatest/ltl2tgba.cc (main): Fix handling of -R1q -R1t -R2q -R2t. * src/tgbatest/ltl2tgba.cc (main): Fix handling of -R1q -R1t -R2q -R2t.

2
src/tgbatest/spotlbtt.test
View file

@ -163,7 +163,7 @@ Algorithm
Name = "Spot (Couvreur -- FM), pre + allpost reduction" Name = "Spot (Couvreur -- FM), pre + allpost reduction"
Path = "${LBTT_TRANSLATE}" Path = "${LBTT_TRANSLATE}"
Parameters = "--spot './ltl2tgba -r4 -R1q -R1t -R2q -R2t -R3 -F -f -t'" Parameters = "--spot './ltl2tgba -r4 -R1q -R1t -R2q -R2t -R3 -F -f -t'"
Enabled = yes Enabled = no
} }
Algorithm Algorithm