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

* src/tests/ltldo2.test: Honor $LTL2BA.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2015-10-24 17:00:53 +02:00
parent db99f3bd3c
commit f7c4ca816b
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/tests/ltldo2.test
View file

@ -27,5 +27,5 @@ genltl=../../bin/genltl
test -n "$LTL2BA" || exit 77
$genltl --or-g=1..2 |
run 0 $ltldo 'ltl2ba -f %s>%H' '{foo}ltl2ba' >output
run 0 $ltldo "$LTL2BA -f %s>%H" '{foo}ltl2ba' >output
test 4 = `grep -c digraph output`