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

* iface/dve2/finite.test: Work around Darwin's wc.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2013-09-30 20:15:40 +02:00
parent 3c943d836a
commit c0851a9559
1 changed files with 6 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

12
iface/dve2/finite.test
View file

@ -31,20 +31,20 @@ fi
set -e set -e
run 0 ../dve2check -gm $srcdir/finite.dve '"P.a < 10"' > stdout run 0 ../dve2check -gm $srcdir/finite.dve '"P.a < 10"' > stdout
test "`grep ' -> ' stdout | wc -l`" = 25 test `grep ' -> ' stdout | wc -l` = 25
test "`grep 'P.a=' stdout | wc -l`" = 15 test `grep 'P.a=' stdout | wc -l` = 15
run 0 ../dve2check -dtrue -gm $srcdir/finite.dve '"P.a < 10"' > stdout2 run 0 ../dve2check -dtrue -gm $srcdir/finite.dve '"P.a < 10"' > stdout2
cmp stdout stdout2 cmp stdout stdout2
run 0 ../dve2check -dfalse -gm $srcdir/finite.dve '"P.a < 10"' > stdout run 0 ../dve2check -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
# the same with compressed states # the same with compressed states
run 0 ../dve2check -z -dfalse -gm $srcdir/finite.dve '"P.a < 10"' > stdout 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")))'