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

* iface/dve2/finite.test: Swap -e and -E after change from 2011-07-26.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2011-10-24 07:11:29 +02:00
parent 8549eb9d16
commit 053b1ebc8e
2 changed files with 6 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
ChangeLog
View file

@ -1,3 +1,7 @@
2011-10-24 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* iface/dve2/finite.test: Swap -e and -E after change from 2011-07-26.
2011-10-24 Alexandre Duret-Lutz <adl@lrde.epita.fr> 2011-10-24 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* NEWS: Update with recent fixes. * NEWS: Update with recent fixes.

4
iface/dve2/finite.test
View file

@ -48,8 +48,8 @@ run 0 ../dve2check -z -dfalse -gm $srcdir/finite.dve '"P.a < 10"' > stdout
test "`grep ' -> ' stdout | wc -l`" = 19 test "`grep ' -> ' stdout | wc -l`" = 19
test "`grep 'P.a=' stdout | wc -l`" = 15 test "`grep 'P.a=' stdout | wc -l`" = 15
run 0 ../dve2check -ddead -e $srcdir/finite.dve \ run 0 ../dve2check -ddead -E $srcdir/finite.dve \
'!(G(dead -> ("P.a==3" | "P.b==3")))' '!(G(dead -> ("P.a==3" | "P.b==3")))'
run 0 ../dve2check -ddead -E $srcdir/finite.dve \ run 0 ../dve2check -ddead -e $srcdir/finite.dve \
'!(G(dead -> ("P.a==2" | "P.b==3")))' '!(G(dead -> ("P.a==2" | "P.b==3")))'