From c0851a9559459776dbc62c1dd4581c643f780a52 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 30 Sep 2013 20:15:40 +0200 Subject: [PATCH] * iface/dve2/finite.test: Work around Darwin's wc. --- iface/dve2/finite.test | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/iface/dve2/finite.test b/iface/dve2/finite.test index 4ab199ec8..a608df512 100755 --- a/iface/dve2/finite.test +++ b/iface/dve2/finite.test @@ -31,20 +31,20 @@ fi set -e run 0 ../dve2check -gm $srcdir/finite.dve '"P.a < 10"' > stdout -test "`grep ' -> ' stdout | wc -l`" = 25 -test "`grep 'P.a=' stdout | wc -l`" = 15 +test `grep ' -> ' stdout | wc -l` = 25 +test `grep 'P.a=' stdout | wc -l` = 15 run 0 ../dve2check -dtrue -gm $srcdir/finite.dve '"P.a < 10"' > stdout2 cmp stdout stdout2 run 0 ../dve2check -dfalse -gm $srcdir/finite.dve '"P.a < 10"' > stdout -test "`grep ' -> ' stdout | wc -l`" = 19 -test "`grep 'P.a=' stdout | wc -l`" = 15 +test `grep ' -> ' stdout | wc -l` = 19 +test `grep 'P.a=' stdout | wc -l` = 15 # the same with compressed states run 0 ../dve2check -z -dfalse -gm $srcdir/finite.dve '"P.a < 10"' > stdout -test "`grep ' -> ' stdout | wc -l`" = 19 -test "`grep 'P.a=' stdout | wc -l`" = 15 +test `grep ' -> ' stdout | wc -l` = 19 +test `grep 'P.a=' stdout | wc -l` = 15 run 0 ../dve2check -ddead -E $srcdir/finite.dve \ '!(G(dead -> ("P.a==3" | "P.b==3")))'