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

* src/tgbatest/satmin2.test, src/tgbatest/Makefile.am: New test.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2013-12-17 16:08:34 +01:00
parent 7a26a4f1ec
commit 9c0021fac8
2 changed files with 51 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/tgbatest/Makefile.am
View file

@ -127,6 +127,7 @@ TESTS = \
ltlcounter.test \
basimul.test \
satmin.test \
satmin2.test \
spotlbtt.test \
ltlcross.test \
spotlbtt2.test \