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

* tests/python/dca.test: Fix location of temporary.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2017-11-23 11:35:00 +01:00
parent 5504e2255a
commit 502ddc6d0a
1 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

5
tests/python/dca.test
View file

@ -51,10 +51,11 @@ X(!(!b | (a M b)) -> XXa)
F(XF!a & (Fb U !a)) F(XF!a & (Fb U !a))
EOF EOF
while read ba_f; do 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 while read dsa_f; do
ltldo -f "$dsa_f" "ltl2dstar --automata=streett\ 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 --dca $DIR/input.hoa > $DIR/res.hoa
autfilt $DIR/input.hoa --equivalent-to $DIR/res.hoa autfilt $DIR/input.hoa --equivalent-to $DIR/res.hoa
done <$DIR/dsa_formulas done <$DIR/dsa_formulas