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

bench: delete useless defs.in files.

Browse source 
* bench/wdba/defs.in, bench/ltlclasses/defs.in,
bench/ltlcounter/defs.in: Delete.
* bench/wdba/run, bench/ltlclasses/run, bench/ltlcounter/run: Adjust not
to use them.
* configure.ac: Do not output the associated defs files.
This commit is contained in:
Alexandre Duret-Lutz 2013-01-06 19:03:56 +01:00
parent 885a535184
commit 16c7bc1975
7 changed files with 13 additions and 177 deletions
Download patch file Download diff file Expand all files Collapse all files

9
bench/wdba/run
View file

@ -1,6 +1,7 @@
#!/bin/sh
# Copyright (C) 2010, 2011 Laboratoire de Recherche et Développement
# de l'Epita (LRDE).
# -*- coding: utf-8 -*-
# Copyright (C) 2010, 2011, 2013 Laboratoire de Recherche et
# Développement de l'Epita (LRDE).
#
# This file is part of Spot, a model checking library.
#
@ -17,8 +18,6 @@
# You should have received a copy of the GNU General Public License
# along with this program. If not, see <http://www.gnu.org/licenses/>.
. ./defs
cat >obligations.txt <<EOF
G(!p)
Fr->(!p U r)
@ -62,6 +61,8 @@ Fr->(p->(!r U (s&!r&!z&X((!r&!z) U t)))) U r
G((q&Fr)->(p->(!r U (s&!r&!z&X((!r&!z) U t)))) U r)
EOF
LTL2TGBA=../../src/tgbatest/ltl2tgba
(
line=0
echo "# form. nbr., states, trans., states minimized, trans. minimized, formula"