From 694ce34bc54d3304aab29fafdfcd2c153f4c401f Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 1 Oct 2003 16:55:22 +0000 Subject: [PATCH] * iface/gspn/udcsltl.test, iface/gspn/udcseltl.test, iface/gspn/dcswaveltl.test, iface/gspn/dcswaveeltl.test, iface/gspn/dcswavefm.test: Do not accept $? = 0 when a failure is expected. --- ChangeLog | 5 +++++ iface/gspn/dcswaveeltl.test | 8 +++----- iface/gspn/dcswavefm.test | 8 +++----- iface/gspn/dcswaveltl.test | 8 +++----- iface/gspn/examples/simple/.cvsignore | 9 +++++++++ iface/gspn/udcseltl.test | 6 ++---- iface/gspn/udcsltl.test | 6 ++---- 7 files changed, 27 insertions(+), 23 deletions(-) create mode 100644 iface/gspn/examples/simple/.cvsignore diff --git a/ChangeLog b/ChangeLog index a5bf79606..7bbc5f6aa 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,10 @@ 2003-10-01 Alexandre Duret-Lutz + * iface/gspn/udcsltl.test, iface/gspn/udcseltl.test, + iface/gspn/dcswaveltl.test, iface/gspn/dcswaveeltl.test, + iface/gspn/dcswavefm.test: Do not accept $? = 0 when + a failure is expected. + * iface/gspn/udcsltl.test, iface/gspn/udcseltl.test: New files * iface/gspn/Makefile.am (TESTS): Add them. (XFAIL_TESTS): Add udcseltl.test. diff --git a/iface/gspn/dcswaveeltl.test b/iface/gspn/dcswaveeltl.test index 223c0db5d..25533fa7f 100755 --- a/iface/gspn/dcswaveeltl.test +++ b/iface/gspn/dcswaveeltl.test @@ -2,14 +2,12 @@ . ./defs || exit 1 -set -e - cp -R $srcdir/examples/DCSwave . chmod +w DCSwave # G(ATTiIDLj => F(!SCj U SCi)) is true -../eltlgspn-srg DCSwave/DCSWave '!G(ATTiIDLj => F(!SCj U SCi))' ATTiIDLj SCi SCj > output +../eltlgspn-srg DCSwave/DCSWave '!G(ATTiIDLj => F(!SCj U SCi))' ATTiIDLj SCi SCj > output || exit 1 # G(F(!SCj U SCi)) is false -../eltlgspn-srg DCSwave/DCSWave '!G(F(!SCj U SCi))' ATTiIDLj SCi SCj > output \ - || test $? = 1 +../eltlgspn-srg DCSwave/DCSWave '!G(F(!SCj U SCi))' ATTiIDLj SCi SCj >output +test $? = 1 || exit 1 diff --git a/iface/gspn/dcswavefm.test b/iface/gspn/dcswavefm.test index be4bd0e89..989a46cfb 100755 --- a/iface/gspn/dcswavefm.test +++ b/iface/gspn/dcswavefm.test @@ -2,14 +2,12 @@ . ./defs || exit 1 -set -e - cp -R $srcdir/examples/DCSwave . chmod +w DCSwave # G(ATTiIDLj => F(!SCj U SCi)) is true -../fmgspn-srg DCSwave/DCSWave '!G(ATTiIDLj => F(!SCj U SCi))' ATTiIDLj SCi SCj > output +../fmgspn-srg DCSwave/DCSWave '!G(ATTiIDLj => F(!SCj U SCi))' ATTiIDLj SCi SCj > output || exit 1 # G(F(!SCj U SCi)) is false -../fmgspn-srg DCSwave/DCSWave '!G(F(!SCj U SCi))' ATTiIDLj SCi SCj > output \ - || test $? = 1 +../fmgspn-srg DCSwave/DCSWave '!G(F(!SCj U SCi))' ATTiIDLj SCi SCj > output +test $? = 1 || exit 1 diff --git a/iface/gspn/dcswaveltl.test b/iface/gspn/dcswaveltl.test index 5c67c25ac..8690396dd 100755 --- a/iface/gspn/dcswaveltl.test +++ b/iface/gspn/dcswaveltl.test @@ -2,14 +2,12 @@ . ./defs || exit 1 -set -e - cp -R $srcdir/examples/DCSwave . chmod +w DCSwave # G(ATTiIDLj => F(!SCj U SCi)) is true -../ltlgspn-srg DCSwave/DCSWave '!G(ATTiIDLj => F(!SCj U SCi))' ATTiIDLj SCi SCj > output +../ltlgspn-srg DCSwave/DCSWave '!G(ATTiIDLj => F(!SCj U SCi))' ATTiIDLj SCi SCj > output || exit 1 # G(F(!SCj U SCi)) is false -../ltlgspn-srg DCSwave/DCSWave '!G(F(!SCj U SCi))' ATTiIDLj SCi SCj > output \ - || test $? = 1 +../ltlgspn-srg DCSwave/DCSWave '!G(F(!SCj U SCi))' ATTiIDLj SCi SCj > output +test $? = 1 || exit 1 diff --git a/iface/gspn/examples/simple/.cvsignore b/iface/gspn/examples/simple/.cvsignore new file mode 100644 index 000000000..1f2ec0b48 --- /dev/null +++ b/iface/gspn/examples/simple/.cvsignore @@ -0,0 +1,9 @@ +simple.cap +simple.cc +simple.mark +simple.minval +simple.outtype +simple.parse +simple.sc +simple.string +simple.val diff --git a/iface/gspn/udcseltl.test b/iface/gspn/udcseltl.test index eb7a84169..31876f1a2 100755 --- a/iface/gspn/udcseltl.test +++ b/iface/gspn/udcseltl.test @@ -2,11 +2,9 @@ . ./defs || exit 1 -set -e - cp -R $srcdir/examples/udcs . chmod +w udcs # F(ReP1 => F(gsP1)) is false -../eltlgspn-srg udcs/udcs 'F(ReP1 => F(gsP1))' ReP1 gsP1 > output \ - || test $? = 1 +../eltlgspn-srg udcs/udcs 'F(ReP1 => F(gsP1))' ReP1 gsP1 > output +test $? = 1 || exit 1 diff --git a/iface/gspn/udcsltl.test b/iface/gspn/udcsltl.test index 56148940c..b92fb7d29 100755 --- a/iface/gspn/udcsltl.test +++ b/iface/gspn/udcsltl.test @@ -2,11 +2,9 @@ . ./defs || exit 1 -set -e - cp -R $srcdir/examples/udcs . chmod +w udcs # F(ReP1 => F(gsP1)) is false -../ltlgspn-srg udcs/udcs 'F(ReP1 => F(gsP1))' ReP1 gsP1 > output \ - || test $? = 1 +../ltlgspn-srg udcs/udcs 'F(ReP1 => F(gsP1))' ReP1 gsP1 > output +test $? = 1 || exit 1