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

tgbatest: Rewrite ltl2neverclaim using ltlcross.

Browse source 
* src/tgbatest/ltl2neverclaim.test: Rename as...
* src/tgbatest/ltl2neverclaim-lbtt.test: ... this.
* src/tgbatest/ltl2neverclaim.test: New version, using ltlcross.
* src/tgbatest/Makefile.am: Add ltl2neverclaim-lbtt.test.
This commit is contained in:
Alexandre Duret-Lutz 2013-01-10 18:22:35 +01:00
parent 0e74b76521
commit 081aa0d120
3 changed files with 116 additions and 80 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/tgbatest/Makefile.am
View file

@ -1,4 +1,4 @@
## Copyright (C) 2009, 2010, 2011, 2012 Laboratoire de Recherche et
## Copyright (C) 2009, 2010, 2011, 2012, 2013 Laboratoire de Recherche et
## Développement de l'Epita (LRDE).
## Copyright (C) 2003, 2004, 2005, 2006 Laboratoire d'Informatique de
## Paris 6 (LIP6), département Systèmes Répartis Coopératifs (SRC),
@ -81,6 +81,7 @@ TESTS = \
readsave.test \
ltl2tgba.test \
ltl2neverclaim.test \
ltl2neverclaim-lbtt.test \
ltl2ta.test \
ltlprod.test \
bddprod.test \