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

Translate 50 random PSL formulae until we get a better test.

Browse source 
* src/tgbatest/randpsl.test: New file.
* src/tgbatest/Makefile.am (TESTS): Add it.
This commit is contained in:
Alexandre Duret-Lutz 2011-02-14 11:29:07 +01:00
parent a29c87b2ed
commit 87acb15174
2 changed files with 42 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/tgbatest/Makefile.am
View file

@ -105,7 +105,8 @@ TESTS = \
emptchkr.test \
ltlcounter.test \
spotlbtt.test \
complementation.test
complementation.test \
randpsl.test
EXTRA_DIST = $(TESTS)