From 502ddc6d0a62d6f1943ba90035286a8e56c16666 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 23 Nov 2017 11:35:00 +0100 Subject: [PATCH] * tests/python/dca.test: Fix location of temporary. --- tests/python/dca.test | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/tests/python/dca.test b/tests/python/dca.test index f376656b6..9488aa695 100755 --- a/tests/python/dca.test +++ b/tests/python/dca.test @@ -51,10 +51,11 @@ X(!(!b | (a M b)) -> XXa) F(XF!a & (Fb U !a)) EOF while read ba_f; do - ../run "$srcdir/dca.py" "$ba_f" > ba + ../run "$srcdir/dca.py" "$ba_f" > $DIR/ba while read dsa_f; do ltldo -f "$dsa_f" "ltl2dstar --automata=streett\ - --ltl2nba=spin:ltl2tgba@-Ds" -H | autfilt --product=ba > $DIR/input.hoa + --ltl2nba=spin:ltl2tgba@-Ds" -H | + autfilt --product=$DIR/ba > $DIR/input.hoa autfilt --dca $DIR/input.hoa > $DIR/res.hoa autfilt $DIR/input.hoa --equivalent-to $DIR/res.hoa done <$DIR/dsa_formulas -- GitLab