Author: niels
Date: Wed Jun 4 10:00:52 2014
New Revision: 9489
URL: http://svn.gna.org/viewcvs/service-tech?rev=9489&view=rev
Log:
* fixed test cases (necessary after adjustment of the rewrite rules)
Modified:
trunk/lola2/tests/testsuite.at
Modified: trunk/lola2/tests/testsuite.at
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/tests/testsuite.at?rev=9489&r1=9488&r2=9489&view=diff
==============================================================================
--- trunk/lola2/tests/testsuite.at (original)
+++ trunk/lola2/tests/testsuite.at Wed Jun 4 10:00:52 2014
@@ -535,7 +535,7 @@
AT_CHECK([cp TESTFILES/phils5.lola .])
AT_CHECK([LOLA phils5.lola --formula='"FORMULA EXPATH (TRUE RELEASE FALSE);"'
--check=modelchecking],0,stdout,stderr)
AT_CHECK([GREP -q "lola: result: no" stderr])
-AT_CHECK([GREP -q "lola: 1 markings" stderr])
+AT_CHECK([GREP -q "lola: 0 markings" stderr])
AT_KEYWORDS(ctl)
AT_CLEANUP
@@ -543,7 +543,7 @@
AT_CHECK([cp TESTFILES/phils5.lola .])
AT_CHECK([LOLA phils5.lola --formula='"FORMULA EXPATH (TRUE RELEASE TRUE);"'
--check=modelchecking],0,stdout,stderr)
AT_CHECK([GREP -q "lola: result: yes" stderr])
-AT_CHECK([GREP -q "lola: 1 markings" stderr])
+AT_CHECK([GREP -q "lola: 0 markings" stderr])
AT_KEYWORDS(ctl)
AT_CLEANUP
@@ -551,7 +551,7 @@
AT_CHECK([cp TESTFILES/phils5.lola .])
AT_CHECK([LOLA phils5.lola --formula='"FORMULA ALLPATH (TRUE RELEASE FALSE);"'
--check=modelchecking],0,stdout,stderr)
AT_CHECK([GREP -q "lola: result: no" stderr])
-AT_CHECK([GREP -q "lola: 1 markings" stderr])
+AT_CHECK([GREP -q "lola: 0 markings" stderr])
AT_KEYWORDS(ctl)
AT_CLEANUP
@@ -559,7 +559,7 @@
AT_CHECK([cp TESTFILES/phils5.lola .])
AT_CHECK([LOLA phils5.lola --formula='"FORMULA ALLPATH (TRUE RELEASE TRUE);"'
--check=modelchecking],0,stdout,stderr)
AT_CHECK([GREP -q "lola: result: yes" stderr])
-AT_CHECK([GREP -q "lola: 1 markings" stderr])
+AT_CHECK([GREP -q "lola: 0 markings" stderr])
AT_KEYWORDS(ctl)
AT_CLEANUP
@@ -567,7 +567,7 @@
AT_CHECK([cp TESTFILES/phils5.lola .])
AT_CHECK([LOLA phils5.lola --formula='"FORMULA EXPATH (FALSE UNTIL FALSE);"'
--check=modelchecking],0,stdout,stderr)
AT_CHECK([GREP -q "lola: result: no" stderr])
-AT_CHECK([GREP -q "lola: 1 markings" stderr])
+AT_CHECK([GREP -q "lola: 0 markings" stderr])
AT_KEYWORDS(ctl)
AT_CLEANUP
@@ -575,7 +575,7 @@
AT_CHECK([cp TESTFILES/phils5.lola .])
AT_CHECK([LOLA phils5.lola --formula='"FORMULA EXPATH (FALSE UNTIL TRUE);"'
--check=modelchecking],0,stdout,stderr)
AT_CHECK([GREP -q "lola: result: yes" stderr])
-AT_CHECK([GREP -q "lola: 1 markings" stderr])
+AT_CHECK([GREP -q "lola: 0 markings" stderr])
AT_KEYWORDS(ctl)
AT_CLEANUP
@@ -583,7 +583,7 @@
AT_CHECK([cp TESTFILES/phils5.lola .])
AT_CHECK([LOLA phils5.lola --formula='"FORMULA ALLPATH (FALSE UNTIL FALSE);"'
--check=modelchecking],0,stdout,stderr)
AT_CHECK([GREP -q "lola: result: no" stderr])
-AT_CHECK([GREP -q "lola: 1 markings" stderr])
+AT_CHECK([GREP -q "lola: 0 markings" stderr])
AT_KEYWORDS(ctl)
AT_CLEANUP
@@ -591,7 +591,7 @@
AT_CHECK([cp TESTFILES/phils5.lola .])
AT_CHECK([LOLA phils5.lola --formula='"FORMULA ALLPATH (FALSE UNTIL TRUE);"'
--check=modelchecking],0,stdout,stderr)
AT_CHECK([GREP -q "lola: result: yes" stderr])
-AT_CHECK([GREP -q "lola: 1 markings" stderr])
+AT_CHECK([GREP -q "lola: 0 markings" stderr])
AT_KEYWORDS(ctl)
AT_CLEANUP
@@ -613,7 +613,7 @@
AT_CHECK([cp TESTFILES/phils5.lola .])
AT_CHECK([LOLA phils5.lola --formula='"FORMULA ALLPATH ALWAYS FALSE OR ALLPATH
ALWAYS TRUE;"' --check=modelchecking],0,stdout,stderr)
AT_CHECK([GREP -q "lola: result: yes" stderr])
-AT_CHECK([GREP -q "lola: 242 markings" stderr])
+AT_CHECK([GREP -q "lola: 0 markings" stderr])
AT_KEYWORDS(ctl)
AT_CLEANUP
@@ -621,7 +621,7 @@
AT_CHECK([cp TESTFILES/4state.lola .])
AT_CHECK([LOLA 4state.lola --formula='"FORMULA ALLPATH EVENTUALLY FALSE;"'
--check=modelchecking],0,stdout,stderr)
AT_CHECK([GREP -q "lola: result: no" stderr])
-AT_CHECK([GREP -q "lola: 193 markings" stderr])
+AT_CHECK([GREP -q "lola: 0 markings" stderr])
AT_KEYWORDS(ctl)
AT_CLEANUP
@@ -721,7 +721,7 @@
AT_CHECK([cp TESTFILES/LTL/cycle_weak3.lola .])
AT_CHECK([LOLA cycle_weak3.lola --formula='"FORMULA TRUE AND ALLPATH ALWAYS a
+ b + c + token = 2 ;"' --check=modelchecking --store=prefix
--encoder=bit],0,stdout,stderr)
AT_CHECK([GREP -q "lola: result: no" stderr])
-AT_CHECK([GREP -q "lola: 2 markings" stderr])
+AT_CHECK([GREP -q "lola: 4 markings" stderr])
AT_KEYWORDS(ltl)
AT_CLEANUP
@@ -2608,7 +2608,7 @@
AT_CHECK([cp TESTFILES/unbounded2.lola .])
AT_CHECK([LOLA unbounded2.lola --check=model --search=cover --encoder=full
--formula='"EF (TRUE)"'],0,stdout,stderr)
AT_CHECK([GREP -q "lola: result: yes" stderr])
-AT_CHECK([GREP -q "lola: 1 markings, 0 edges" stderr])
+AT_CHECK([GREP -q "lola: 0 markings, 0 edges" stderr])
AT_KEYWORDS(covergraph)
AT_CLEANUP
@@ -2616,7 +2616,7 @@
AT_CHECK([cp TESTFILES/unbounded2.lola .])
AT_CHECK([LOLA unbounded2.lola --check=model --search=cover --encoder=full
--formula='"EF (FALSE)"'],0,stdout,stderr)
AT_CHECK([GREP -q "lola: result: no" stderr])
-AT_CHECK([GREP -q "lola: 1 markings, 0 edges" stderr])
+AT_CHECK([GREP -q "lola: 0 markings, 0 edges" stderr])
AT_KEYWORDS(covergraph)
AT_CLEANUP
--
You received this e-mail, because you subscribed the mailing list
"service-tech-commits" which will forward you any e-mail addressed to
[email protected]. If you want to unsubscribe or make any changes to
your subscription, please go to
https://mail.gna.org/listinfo/service-tech-commits.
