Commits

Anonymous committed 3207864

eval test suit

Comments (0)

Files changed (6)

tests/ctl/simple

-a
-b
-not(c)
-and(and(a,b),not(c))
-ex(and(and(a,b),c))
-ax(and(and(a,b),c))
-implies(a, b)
-AF(b)
-EF(b)
-EU(b,NOT(c))
-AU(b,NOT(c))

tests/ctl/very_simple

Empty file removed.

tests/expected/simple

-true
-true
-true
-true
-false
-false
-true
-true
-true
-true
-true

tests/expected/very_simple

Empty file removed.

tests/kripke/very_simple

 0 a b !c
  1
 1 !a b !c
- 2 4
+ 2
 2 !a b c
- 3
 		features	= 'gtest',
 		includes 	= 'source',
 		cxxflags	= '-std=c++11',
+		use			= 'Buddy',
 
-		source		= ctx.path.ant_glob('tests/*.cc')
+		source		= ctx.path.ant_glob([
+						'source/kripke-parser.cc', 'source/ctl-eval.cc', 'tests/*.cc'])
 	)
 
 def dist(ctx):
 	ctx.files = ctx.path.ant_glob([
-						'wscript', 'waf', 'README', 'AUTHORS', 'doxyfile', 'unittest_gtest.py',	\
-						'source/**.cc', 'source/**.hxx', 'source/**.hh',		\
-						'tests/ctl/**', 'tests/kripke/**', 'tests/expected/**', 'tests/*.cc'
+						'wscript', 'waf', 'README', 'AUTHORS', 'doxyfile', 'unittest_gtest.py', \
+						'source/**.cc', 'source/**.hxx', 'source/**.hh',\
+						'tests/kripke/**', 'tests/*.cc'
 					])