Commit 9c4e9c89 authored by Thomas Badie's avatar Thomas Badie Committed by Alexandre Duret-Lutz
Browse files

Fix some VPATH related bugs.

* bench/ltl2tgba/defs.in (LTLFILT): Add this variable.
* bench/ltl2tgba/big, bench/ltl2tgba/small: Use $LTLFILT.
* bench/ltl2tgba/known: Add a missing '$srcdir'.
parent 93869230
...@@ -21,5 +21,5 @@ ...@@ -21,5 +21,5 @@
. ./defs . ./defs
. "$srcdir/algorithms" . "$srcdir/algorithms"
$RANDLTL -n 100 --tree-size=15..20 p1 p2 p3 p4 p5 p6 p7 p8 | ltlfilt --nnf | $RANDLTL -n 100 --tree-size=15..20 p1 p2 p3 p4 p5 p6 p7 p8 | $LTLFILT --nnf |
$LTLCROSS "$@" --csv=big.csv --json=big.json 2>&1 | tee big.log $LTLCROSS "$@" --csv=big.csv --json=big.json 2>&1 | tee big.log
...@@ -37,6 +37,7 @@ test -f "$srcdir/defs.in" || { ...@@ -37,6 +37,7 @@ test -f "$srcdir/defs.in" || {
top_builddir="@top_builddir@" top_builddir="@top_builddir@"
LBT="@LBT@" LBT="@LBT@"
LTLCROSS="$top_builddir/src/bin/ltlcross@EXEEXT@" LTLCROSS="$top_builddir/src/bin/ltlcross@EXEEXT@"
LTLFILT="$top_builddir/src/bin/ltlfilt@EXEEXT@"
RANDLTL="$top_builddir/src/bin/randltl@EXEEXT@" RANDLTL="$top_builddir/src/bin/randltl@EXEEXT@"
LTL2BA="@LTL2BA@" LTL2BA="@LTL2BA@"
LTL3BA="@LTL3BA@" LTL3BA="@LTL3BA@"
......
...@@ -21,5 +21,6 @@ ...@@ -21,5 +21,6 @@
. ./defs . ./defs
. "$srcdir/algorithms" . "$srcdir/algorithms"
$LTLCROSS "$@" --csv=known.csv --json=known.json < formulae.ltl 2>&1 | $LTLCROSS "$@" --csv=known.csv --json=known.json \
< "$srcdir/formulae.ltl" 2>&1 |
tee known.log tee known.log
...@@ -21,5 +21,5 @@ ...@@ -21,5 +21,5 @@
. ./defs . ./defs
. "$srcdir/algorithms" . "$srcdir/algorithms"
$RANDLTL -n 100 --tree-size=10 p1 p2 p3 p4 | ltlfilt --nnf | $RANDLTL -n 100 --tree-size=10 p1 p2 p3 p4 | $LTLFILT --nnf |
$LTLCROSS "$@" --csv=small.csv --json=small.json 2>&1 | tee small.log $LTLCROSS "$@" --csv=small.csv --json=small.json 2>&1 | tee small.log
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment