alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Add new tests for LTL and PSL translation, based on ltlcheck.

Browse source 
* src/tgbatest/ltlcheck.test, src/tgbatest/ltlcheck2.test: New files.
* src/tgbatest/Makefile.am: Add them.
This commit is contained in:
Alexandre Duret-Lutz 2012-10-14 19:06:59 +02:00
parent d1871d87dc
commit 7d6fc328ab
3 changed files with 95 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/tgbatest/Makefile.am
View file

@ -107,7 +107,9 @@ TESTS = \
emptchkr.test \
ltlcounter.test \
spotlbtt.test \
ltlcheck.test \
spotlbtt2.test \
ltlcheck2.test \
complementation.test \
randpsl.test \
cycles.test