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

Fix two VPath-related bugs in bench.

Browse source 
* bench/ltl2tgba/known (ltlfile): Add a $srcdir.
* bench/ltlclasses/defs.in (builddir): Add the $builddir.
* bench/ltlclasses/run (gen): Change the $srcdir into $builddir.
This commit is contained in:
Thomas Badie 2012-04-14 21:56:47 +02:00
parent 876f8c90a2
commit 085ea52bf5
3 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
bench/ltl2tgba/known
View file

@ -28,7 +28,7 @@
conffile=known.cfg conffile=known.cfg
logfile=known.log logfile=known.log
sumfile=known.txt sumfile=known.txt
ltlfile=formulae.ltl ltlfile=$srcdir/formulae.ltl
. "$srcdir/algorithms" . "$srcdir/algorithms"

1
bench/ltlclasses/defs.in
View file

@ -27,6 +27,7 @@ test -f ./defs || {
} }
srcdir='@srcdir@' srcdir='@srcdir@'
builddir='@builddir@'
# Ensure $srcdir is set correctly. # Ensure $srcdir is set correctly.
test -f "$srcdir/defs.in" || { test -f "$srcdir/defs.in" || {

2
bench/ltlclasses/run
View file

@ -22,7 +22,7 @@
. ./defs . ./defs
gen="$srcdir/../../src/ltltest/genltl" gen="$builddir/../../src/ltltest/genltl"
for F in 1 2 3 4 5; do for F in 1 2 3 4 5; do
echo "# Benching ltl2tgba_fm for family F=$F" echo "# Benching ltl2tgba_fm for family F=$F"