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

ltlsynt: improve coverage

Browse source 
* tests/core/ltlsynt.test: here
This commit is contained in:
Maximilien Colange 2018-05-23 18:39:36 +02:00
parent 61b2b9b140
commit b655038803
1 changed files with 27 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

27
tests/core/ltlsynt.test
View file

@ -46,6 +46,33 @@ EOF
ltlsynt --ins='a' --outs='b' -f 'GFa <-> GFb' --print-pg > out ltlsynt --ins='a' --outs='b' -f 'GFa <-> GFb' --print-pg > out
diff out exp diff out exp
cat >exp <<EOF
REALIZABLE
aag 17 1 2 1 14
2
4 31
6 33
35
8 5 7
10 3 8
12 2 8
14 4 7
16 3 14
18 2 14
20 5 6
22 2 20
24 3 20
26 19 23
28 11 13
30 28 26
32 17 25
34 11 26
i0 a
o0 b
EOF
ltlsynt --ins='a' --outs='b' -f 'GFa <-> GFb' --aiger > out
diff out exp
cat >exp <<EOF cat >exp <<EOF
translating formula done translating formula done
split inputs and outputs done split inputs and outputs done