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

hoa: check parsing from stdin

Browse source 
* src/tgbatest/hoaparse.test: More test.
This commit is contained in:
Alexandre Duret-Lutz 2014-11-25 11:52:42 +01:00
parent fa2ad77078
commit 12389adf4f
1 changed files with 5 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/tgbatest/hoaparse.test
View file

@ -728,3 +728,8 @@ EOF
expecterr non-existant<<EOF expecterr non-existant<<EOF
autfilt: Cannot open file non-existant autfilt: Cannot open file non-existant
EOF EOF
# Make sure we can read multiple automata from stdin
../../bin/ltl2tgba 'a U b' 'GFa' --hoa | grep -v '^name:' > input
../../bin/autfilt --hoa < input | ../../bin/autfilt --hoa > output
diff input output