From 053b1ebc8ee9252b3f4e879054959e57f78a895e Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 24 Oct 2011 07:11:29 +0200 Subject: [PATCH] * iface/dve2/finite.test: Swap -e and -E after change from 2011-07-26. --- ChangeLog | 4 ++++ iface/dve2/finite.test | 4 ++-- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/ChangeLog b/ChangeLog index dbf91730f..4b4b7c2a7 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2011-10-24 Alexandre Duret-Lutz + + * iface/dve2/finite.test: Swap -e and -E after change from 2011-07-26. + 2011-10-24 Alexandre Duret-Lutz * NEWS: Update with recent fixes. diff --git a/iface/dve2/finite.test b/iface/dve2/finite.test index 4b19078be..b5f64ce3d 100755 --- a/iface/dve2/finite.test +++ b/iface/dve2/finite.test @@ -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 '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")))' -run 0 ../dve2check -ddead -E $srcdir/finite.dve \ +run 0 ../dve2check -ddead -e $srcdir/finite.dve \ '!(G(dead -> ("P.a==2" | "P.b==3")))'