Author: vm069
Date: Tue Jun 3 16:06:48 2014
New Revision: 9485
URL: http://svn.gna.org/viewcvs/service-tech?rev=9485&view=rev
Log:
added tests for efagef and agaf
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=9485&r1=9484&r2=9485&view=diff
==============================================================================
--- trunk/lola2/tests/testsuite.at (original)
+++ trunk/lola2/tests/testsuite.at Tue Jun 3 16:06:48 2014
@@ -2289,10 +2289,17 @@
AT_KEYWORDS(tscc)
AT_CLEANUP
+AT_SETUP([liveness tscc(positive formula)])
+AT_CHECK([cp TESTFILES/tscc.lola .])
+AT_CHECK([LOLA tscc.lola --tscc --formula='"AGEF p5 > 0"' --check=full
],0,stdout,stderr)
+AT_CHECK([GREP -q "lola: result: yes" stderr])
+AT_KEYWORDS(tscc)
+AT_CLEANUP
+
AT_SETUP([liveness tscc(negative formula)])
AT_CHECK([cp TESTFILES/tscc.lola .])
-AT_CHECK([LOLA tscc.lola --tscc --formula='"AGEF p5 > 0"' --check=full
],0,stdout,stderr)
-AT_CHECK([GREP -q "lola: result: yes" stderr])
+AT_CHECK([LOLA tscc.lola --tscc --formula='"AGEF ( p5 > 0 AND p14 > 0 )"'
--check=full ],0,stdout,stderr)
+AT_CHECK([GREP -q "lola: result: no" stderr])
AT_KEYWORDS(tscc)
AT_CLEANUP
@@ -2302,6 +2309,36 @@
AT_CHECK([GREP -q "lola: result: yes" stderr])
AT_KEYWORDS(tscc)
AT_CLEANUP
+
+AT_SETUP([agaf tscc (positive formula)])
+AT_CHECK([cp TESTFILES/tscc.lola .])
+AT_CHECK([LOLA --tscc tscc.lola --formula='"AGAF ( p5 > 0 OR p13 > 0 )"'
--check=full],0,stdout,stderr)
+AT_CHECK([GREP -q "lola: result: yes" stderr])
+AT_KEYWORDS(tscc)
+AT_CLEANUP
+
+AT_SETUP([agaf tscc(negative formula)])
+AT_CHECK([cp TESTFILES/tscc.lola .])
+AT_CHECK([LOLA tscc.lola --tscc --formula='"AGAF p14 > 0"' --check=full
],0,stdout,stderr)
+AT_CHECK([GREP -q "lola: result: no" stderr])
+AT_KEYWORDS(tscc)
+AT_CLEANUP
+
+
+AT_SETUP([efagef tscc (positive formula)])
+AT_CHECK([cp TESTFILES/tscc.lola .])
+AT_CHECK([LOLA --tscc tscc.lola --formula='"EFAGEF p5 > 0 "'
--check=full],0,stdout,stderr)
+AT_CHECK([GREP -q "lola: result: yes" stderr])
+AT_KEYWORDS(tscc)
+AT_CLEANUP
+
+AT_SETUP([efagef tscc(negative formula)])
+AT_CHECK([cp TESTFILES/tscc.lola .])
+AT_CHECK([LOLA tscc.lola --tscc --formula='"EFAGEF ( p14 > 0 AND p5 > 0 ) "'
--check=full ],0,stdout,stderr)
+AT_CHECK([GREP -q "lola: result: no" stderr])
+AT_KEYWORDS(tscc)
+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.
