From 2035b2b0e13bac36f06102c5ce64db5e73b156da Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Tue, 19 Apr 2016 20:02:35 +0200 Subject: [PATCH] update test --- modelchecker/test.sh | 9 ++++++--- modelchecker/tests/1.A | 1 + modelchecker/tests/1.AB | 1 + modelchecker/tests/1.ABB | 1 + modelchecker/tests/1.ABb | 1 + modelchecker/tests/1.Ab | 1 + modelchecker/tests/1.AbB | 1 + modelchecker/tests/1.Abb | 1 + modelchecker/tests/1.BA | 1 + modelchecker/tests/1.BAB | 1 + modelchecker/tests/1.BAb | 1 + modelchecker/tests/1.BBA | 1 + modelchecker/tests/1.BBa | 1 + modelchecker/tests/1.Ba | 1 + modelchecker/tests/1.BaB | 1 + modelchecker/tests/1.Bab | 1 + modelchecker/tests/1.BbA | 1 + modelchecker/tests/1.Bba | 1 + modelchecker/tests/1.a | 1 + modelchecker/tests/1.aB | 1 + modelchecker/tests/1.aBB | 1 + modelchecker/tests/1.aBb | 1 + modelchecker/tests/1.ab | 1 + modelchecker/tests/1.abB | 1 + modelchecker/tests/1.abb | 1 + modelchecker/tests/1.bA | 1 + modelchecker/tests/1.bAB | 1 + modelchecker/tests/1.bAb | 1 + modelchecker/tests/1.bBA | 1 + modelchecker/tests/1.bBa | 1 + modelchecker/tests/1.ba | 1 + modelchecker/tests/1.baB | 1 + modelchecker/tests/1.bab | 1 + modelchecker/tests/1.bbA | 1 + modelchecker/tests/1.bba | 1 + modelchecker/tests/2.Af | 1 + modelchecker/tests/2.AfB | 1 + modelchecker/tests/2.Afb | 1 + modelchecker/tests/2.At | 1 + modelchecker/tests/2.AtB | 1 + modelchecker/tests/2.Atb | 1 + modelchecker/tests/2.BAf | 1 + modelchecker/tests/2.BAt | 1 + modelchecker/tests/2.Baf | 1 + modelchecker/tests/2.Bat | 1 + modelchecker/tests/2.BfA | 1 + modelchecker/tests/2.Bfa | 1 + modelchecker/tests/2.BtA | 1 + modelchecker/tests/2.Bta | 1 + modelchecker/tests/2.af | 1 + modelchecker/tests/2.afB | 1 + modelchecker/tests/2.afb | 1 + modelchecker/tests/2.at | 1 + modelchecker/tests/2.atB | 1 + modelchecker/tests/2.atb | 1 + modelchecker/tests/2.bAf | 1 + modelchecker/tests/2.bAt | 1 + modelchecker/tests/2.baf | 1 + modelchecker/tests/2.bat | 1 + modelchecker/tests/2.bfA | 1 + modelchecker/tests/2.bfa | 1 + modelchecker/tests/2.btA | 1 + modelchecker/tests/2.bta | 1 + modelchecker/tests/2.fA | 1 + modelchecker/tests/2.fAB | 1 + modelchecker/tests/2.fAb | 1 + modelchecker/tests/2.fa | 1 + modelchecker/tests/2.faB | 1 + modelchecker/tests/2.fab | 1 + modelchecker/tests/2.tA | 1 + modelchecker/tests/2.tAB | 1 + modelchecker/tests/2.tAb | 1 + modelchecker/tests/2.ta | 1 + modelchecker/tests/2.taB | 1 + modelchecker/tests/2.tab | 1 + modelchecker/tests/3.ABf | 1 + modelchecker/tests/3.ABt | 1 + modelchecker/tests/3.Abf | 1 + modelchecker/tests/3.Abt | 1 + modelchecker/tests/3.Aff | 1 + modelchecker/tests/3.Aft | 1 + modelchecker/tests/3.Atf | 1 + modelchecker/tests/3.Att | 1 + modelchecker/tests/3.aBf | 1 + modelchecker/tests/3.aBt | 1 + modelchecker/tests/3.abf | 1 + modelchecker/tests/3.abt | 1 + modelchecker/tests/3.aff | 1 + modelchecker/tests/3.aft | 1 + modelchecker/tests/3.atf | 1 + modelchecker/tests/3.att | 1 + modelchecker/tests/3.fAf | 1 + modelchecker/tests/3.fAt | 1 + modelchecker/tests/3.fBA | 1 + modelchecker/tests/3.fBa | 1 + modelchecker/tests/3.faf | 1 + modelchecker/tests/3.fat | 1 + modelchecker/tests/3.fbA | 1 + modelchecker/tests/3.fba | 1 + modelchecker/tests/3.ffA | 1 + modelchecker/tests/3.ffa | 1 + modelchecker/tests/3.ftA | 1 + modelchecker/tests/3.fta | 1 + modelchecker/tests/3.tAf | 1 + modelchecker/tests/3.tAt | 1 + modelchecker/tests/3.tBA | 1 + modelchecker/tests/3.tBa | 1 + modelchecker/tests/3.taf | 1 + modelchecker/tests/3.tat | 1 + modelchecker/tests/3.tbA | 1 + modelchecker/tests/3.tba | 1 + modelchecker/tests/3.tfA | 1 + modelchecker/tests/3.tfa | 1 + modelchecker/tests/3.ttA | 1 + modelchecker/tests/3.tta | 1 + 115 files changed, 120 insertions(+), 3 deletions(-) create mode 100644 modelchecker/tests/1.A create mode 100644 modelchecker/tests/1.AB create mode 100644 modelchecker/tests/1.ABB create mode 100644 modelchecker/tests/1.ABb create mode 100644 modelchecker/tests/1.Ab create mode 100644 modelchecker/tests/1.AbB create mode 100644 modelchecker/tests/1.Abb create mode 100644 modelchecker/tests/1.BA create mode 100644 modelchecker/tests/1.BAB create mode 100644 modelchecker/tests/1.BAb create mode 100644 modelchecker/tests/1.BBA create mode 100644 modelchecker/tests/1.BBa create mode 100644 modelchecker/tests/1.Ba create mode 100644 modelchecker/tests/1.BaB create mode 100644 modelchecker/tests/1.Bab create mode 100644 modelchecker/tests/1.BbA create mode 100644 modelchecker/tests/1.Bba create mode 100644 modelchecker/tests/1.a create mode 100644 modelchecker/tests/1.aB create mode 100644 modelchecker/tests/1.aBB create mode 100644 modelchecker/tests/1.aBb create mode 100644 modelchecker/tests/1.ab create mode 100644 modelchecker/tests/1.abB create mode 100644 modelchecker/tests/1.abb create mode 100644 modelchecker/tests/1.bA create mode 100644 modelchecker/tests/1.bAB create mode 100644 modelchecker/tests/1.bAb create mode 100644 modelchecker/tests/1.bBA create mode 100644 modelchecker/tests/1.bBa create mode 100644 modelchecker/tests/1.ba create mode 100644 modelchecker/tests/1.baB create mode 100644 modelchecker/tests/1.bab create mode 100644 modelchecker/tests/1.bbA create mode 100644 modelchecker/tests/1.bba create mode 100644 modelchecker/tests/2.Af create mode 100644 modelchecker/tests/2.AfB create mode 100644 modelchecker/tests/2.Afb create mode 100644 modelchecker/tests/2.At create mode 100644 modelchecker/tests/2.AtB create mode 100644 modelchecker/tests/2.Atb create mode 100644 modelchecker/tests/2.BAf create mode 100644 modelchecker/tests/2.BAt create mode 100644 modelchecker/tests/2.Baf create mode 100644 modelchecker/tests/2.Bat create mode 100644 modelchecker/tests/2.BfA create mode 100644 modelchecker/tests/2.Bfa create mode 100644 modelchecker/tests/2.BtA create mode 100644 modelchecker/tests/2.Bta create mode 100644 modelchecker/tests/2.af create mode 100644 modelchecker/tests/2.afB create mode 100644 modelchecker/tests/2.afb create mode 100644 modelchecker/tests/2.at create mode 100644 modelchecker/tests/2.atB create mode 100644 modelchecker/tests/2.atb create mode 100644 modelchecker/tests/2.bAf create mode 100644 modelchecker/tests/2.bAt create mode 100644 modelchecker/tests/2.baf create mode 100644 modelchecker/tests/2.bat create mode 100644 modelchecker/tests/2.bfA create mode 100644 modelchecker/tests/2.bfa create mode 100644 modelchecker/tests/2.btA create mode 100644 modelchecker/tests/2.bta create mode 100644 modelchecker/tests/2.fA create mode 100644 modelchecker/tests/2.fAB create mode 100644 modelchecker/tests/2.fAb create mode 100644 modelchecker/tests/2.fa create mode 100644 modelchecker/tests/2.faB create mode 100644 modelchecker/tests/2.fab create mode 100644 modelchecker/tests/2.tA create mode 100644 modelchecker/tests/2.tAB create mode 100644 modelchecker/tests/2.tAb create mode 100644 modelchecker/tests/2.ta create mode 100644 modelchecker/tests/2.taB create mode 100644 modelchecker/tests/2.tab create mode 100644 modelchecker/tests/3.ABf create mode 100644 modelchecker/tests/3.ABt create mode 100644 modelchecker/tests/3.Abf create mode 100644 modelchecker/tests/3.Abt create mode 100644 modelchecker/tests/3.Aff create mode 100644 modelchecker/tests/3.Aft create mode 100644 modelchecker/tests/3.Atf create mode 100644 modelchecker/tests/3.Att create mode 100644 modelchecker/tests/3.aBf create mode 100644 modelchecker/tests/3.aBt create mode 100644 modelchecker/tests/3.abf create mode 100644 modelchecker/tests/3.abt create mode 100644 modelchecker/tests/3.aff create mode 100644 modelchecker/tests/3.aft create mode 100644 modelchecker/tests/3.atf create mode 100644 modelchecker/tests/3.att create mode 100644 modelchecker/tests/3.fAf create mode 100644 modelchecker/tests/3.fAt create mode 100644 modelchecker/tests/3.fBA create mode 100644 modelchecker/tests/3.fBa create mode 100644 modelchecker/tests/3.faf create mode 100644 modelchecker/tests/3.fat create mode 100644 modelchecker/tests/3.fbA create mode 100644 modelchecker/tests/3.fba create mode 100644 modelchecker/tests/3.ffA create mode 100644 modelchecker/tests/3.ffa create mode 100644 modelchecker/tests/3.ftA create mode 100644 modelchecker/tests/3.fta create mode 100644 modelchecker/tests/3.tAf create mode 100644 modelchecker/tests/3.tAt create mode 100644 modelchecker/tests/3.tBA create mode 100644 modelchecker/tests/3.tBa create mode 100644 modelchecker/tests/3.taf create mode 100644 modelchecker/tests/3.tat create mode 100644 modelchecker/tests/3.tbA create mode 100644 modelchecker/tests/3.tba create mode 100644 modelchecker/tests/3.tfA create mode 100644 modelchecker/tests/3.tfa create mode 100644 modelchecker/tests/3.ttA create mode 100644 modelchecker/tests/3.tta diff --git a/modelchecker/test.sh b/modelchecker/test.sh index 368814a..2aa9aea 100755 --- a/modelchecker/test.sh +++ b/modelchecker/test.sh @@ -2,17 +2,20 @@ set -e make +cd tests +./generate_tests.sh +cd .. TOTAL=0 PASSED=0 -for testscreen in tests/*; do +for testscreen in tests/[^g]*; do NUM="$(basename "$(echo $testscreen | cut -d'.' -f1)")" OUT="$(./main "$testscreen" 2>&1| grep -Po "(?<=Satcount: )\d+(?=\.)")" if [ "$NUM" -ne "$OUT" ]; then echo "$testscreen failed, expected: $NUM, got: $OUT." - cat "$testscreen" + echo "'$(cat "$testscreen")'" else PASSED=$((PASSED+1)) fi TOTAL=$((TOTAL+1)) done -echo "$PASSED/$TOTAL passed" +echo "$((TOTAL-PASSED))/$TOTAL failed" diff --git a/modelchecker/tests/1.A b/modelchecker/tests/1.A new file mode 100644 index 0000000..72e8ffc --- /dev/null +++ b/modelchecker/tests/1.A @@ -0,0 +1 @@ +* diff --git a/modelchecker/tests/1.AB b/modelchecker/tests/1.AB new file mode 100644 index 0000000..1b4d99a --- /dev/null +++ b/modelchecker/tests/1.AB @@ -0,0 +1 @@ ++* diff --git a/modelchecker/tests/1.ABB b/modelchecker/tests/1.ABB new file mode 100644 index 0000000..25e4d31 --- /dev/null +++ b/modelchecker/tests/1.ABB @@ -0,0 +1 @@ ++** diff --git a/modelchecker/tests/1.ABb b/modelchecker/tests/1.ABb new file mode 100644 index 0000000..07ff770 --- /dev/null +++ b/modelchecker/tests/1.ABb @@ -0,0 +1 @@ ++*$ diff --git a/modelchecker/tests/1.Ab b/modelchecker/tests/1.Ab new file mode 100644 index 0000000..0f36bec --- /dev/null +++ b/modelchecker/tests/1.Ab @@ -0,0 +1 @@ ++$ diff --git a/modelchecker/tests/1.AbB b/modelchecker/tests/1.AbB new file mode 100644 index 0000000..87a6ecd --- /dev/null +++ b/modelchecker/tests/1.AbB @@ -0,0 +1 @@ ++$* diff --git a/modelchecker/tests/1.Abb b/modelchecker/tests/1.Abb new file mode 100644 index 0000000..f8b4050 --- /dev/null +++ b/modelchecker/tests/1.Abb @@ -0,0 +1 @@ ++$$ diff --git a/modelchecker/tests/1.BA b/modelchecker/tests/1.BA new file mode 100644 index 0000000..568a7ea --- /dev/null +++ b/modelchecker/tests/1.BA @@ -0,0 +1 @@ +*+ diff --git a/modelchecker/tests/1.BAB b/modelchecker/tests/1.BAB new file mode 100644 index 0000000..950af9e --- /dev/null +++ b/modelchecker/tests/1.BAB @@ -0,0 +1 @@ +*+* diff --git a/modelchecker/tests/1.BAb b/modelchecker/tests/1.BAb new file mode 100644 index 0000000..4e6bf62 --- /dev/null +++ b/modelchecker/tests/1.BAb @@ -0,0 +1 @@ +*+$ diff --git a/modelchecker/tests/1.BBA b/modelchecker/tests/1.BBA new file mode 100644 index 0000000..b59d6de --- /dev/null +++ b/modelchecker/tests/1.BBA @@ -0,0 +1 @@ +**+ diff --git a/modelchecker/tests/1.BBa b/modelchecker/tests/1.BBa new file mode 100644 index 0000000..e2f2a3d --- /dev/null +++ b/modelchecker/tests/1.BBa @@ -0,0 +1 @@ +**@ diff --git a/modelchecker/tests/1.Ba b/modelchecker/tests/1.Ba new file mode 100644 index 0000000..0798a46 --- /dev/null +++ b/modelchecker/tests/1.Ba @@ -0,0 +1 @@ +*@ diff --git a/modelchecker/tests/1.BaB b/modelchecker/tests/1.BaB new file mode 100644 index 0000000..b9b5457 --- /dev/null +++ b/modelchecker/tests/1.BaB @@ -0,0 +1 @@ +*@* diff --git a/modelchecker/tests/1.Bab b/modelchecker/tests/1.Bab new file mode 100644 index 0000000..1541089 --- /dev/null +++ b/modelchecker/tests/1.Bab @@ -0,0 +1 @@ +*@$ diff --git a/modelchecker/tests/1.BbA b/modelchecker/tests/1.BbA new file mode 100644 index 0000000..0e9172d --- /dev/null +++ b/modelchecker/tests/1.BbA @@ -0,0 +1 @@ +*$+ diff --git a/modelchecker/tests/1.Bba b/modelchecker/tests/1.Bba new file mode 100644 index 0000000..806c2ae --- /dev/null +++ b/modelchecker/tests/1.Bba @@ -0,0 +1 @@ +*$@ diff --git a/modelchecker/tests/1.a b/modelchecker/tests/1.a new file mode 100644 index 0000000..59c227c --- /dev/null +++ b/modelchecker/tests/1.a @@ -0,0 +1 @@ +@ diff --git a/modelchecker/tests/1.aB b/modelchecker/tests/1.aB new file mode 100644 index 0000000..90c254d --- /dev/null +++ b/modelchecker/tests/1.aB @@ -0,0 +1 @@ +@* diff --git a/modelchecker/tests/1.aBB b/modelchecker/tests/1.aBB new file mode 100644 index 0000000..d27d6a3 --- /dev/null +++ b/modelchecker/tests/1.aBB @@ -0,0 +1 @@ +@** diff --git a/modelchecker/tests/1.aBb b/modelchecker/tests/1.aBb new file mode 100644 index 0000000..7770a88 --- /dev/null +++ b/modelchecker/tests/1.aBb @@ -0,0 +1 @@ +@*$ diff --git a/modelchecker/tests/1.ab b/modelchecker/tests/1.ab new file mode 100644 index 0000000..17f5205 --- /dev/null +++ b/modelchecker/tests/1.ab @@ -0,0 +1 @@ +@$ diff --git a/modelchecker/tests/1.abB b/modelchecker/tests/1.abB new file mode 100644 index 0000000..6f87f5e --- /dev/null +++ b/modelchecker/tests/1.abB @@ -0,0 +1 @@ +@$* diff --git a/modelchecker/tests/1.abb b/modelchecker/tests/1.abb new file mode 100644 index 0000000..3fce575 --- /dev/null +++ b/modelchecker/tests/1.abb @@ -0,0 +1 @@ +@$$ diff --git a/modelchecker/tests/1.bA b/modelchecker/tests/1.bA new file mode 100644 index 0000000..03166e1 --- /dev/null +++ b/modelchecker/tests/1.bA @@ -0,0 +1 @@ +$+ diff --git a/modelchecker/tests/1.bAB b/modelchecker/tests/1.bAB new file mode 100644 index 0000000..565135c --- /dev/null +++ b/modelchecker/tests/1.bAB @@ -0,0 +1 @@ +$+* diff --git a/modelchecker/tests/1.bAb b/modelchecker/tests/1.bAb new file mode 100644 index 0000000..dd17080 --- /dev/null +++ b/modelchecker/tests/1.bAb @@ -0,0 +1 @@ +$+$ diff --git a/modelchecker/tests/1.bBA b/modelchecker/tests/1.bBA new file mode 100644 index 0000000..1d1c05c --- /dev/null +++ b/modelchecker/tests/1.bBA @@ -0,0 +1 @@ +$*+ diff --git a/modelchecker/tests/1.bBa b/modelchecker/tests/1.bBa new file mode 100644 index 0000000..a1ec177 --- /dev/null +++ b/modelchecker/tests/1.bBa @@ -0,0 +1 @@ +$*@ diff --git a/modelchecker/tests/1.ba b/modelchecker/tests/1.ba new file mode 100644 index 0000000..f4014e8 --- /dev/null +++ b/modelchecker/tests/1.ba @@ -0,0 +1 @@ +\$@ diff --git a/modelchecker/tests/1.baB b/modelchecker/tests/1.baB new file mode 100644 index 0000000..bf7aa44 --- /dev/null +++ b/modelchecker/tests/1.baB @@ -0,0 +1 @@ +$@* diff --git a/modelchecker/tests/1.bab b/modelchecker/tests/1.bab new file mode 100644 index 0000000..eaf26ef --- /dev/null +++ b/modelchecker/tests/1.bab @@ -0,0 +1 @@ +$@$ diff --git a/modelchecker/tests/1.bbA b/modelchecker/tests/1.bbA new file mode 100644 index 0000000..92aad90 --- /dev/null +++ b/modelchecker/tests/1.bbA @@ -0,0 +1 @@ +$$+ diff --git a/modelchecker/tests/1.bba b/modelchecker/tests/1.bba new file mode 100644 index 0000000..b8174b2 --- /dev/null +++ b/modelchecker/tests/1.bba @@ -0,0 +1 @@ +$$@ diff --git a/modelchecker/tests/2.Af b/modelchecker/tests/2.Af new file mode 100644 index 0000000..79f9ef5 --- /dev/null +++ b/modelchecker/tests/2.Af @@ -0,0 +1 @@ ++ diff --git a/modelchecker/tests/2.AfB b/modelchecker/tests/2.AfB new file mode 100644 index 0000000..6aa777e --- /dev/null +++ b/modelchecker/tests/2.AfB @@ -0,0 +1 @@ ++ * diff --git a/modelchecker/tests/2.Afb b/modelchecker/tests/2.Afb new file mode 100644 index 0000000..2d030da --- /dev/null +++ b/modelchecker/tests/2.Afb @@ -0,0 +1 @@ ++ $ diff --git a/modelchecker/tests/2.At b/modelchecker/tests/2.At new file mode 100644 index 0000000..e5ef257 --- /dev/null +++ b/modelchecker/tests/2.At @@ -0,0 +1 @@ ++. diff --git a/modelchecker/tests/2.AtB b/modelchecker/tests/2.AtB new file mode 100644 index 0000000..07ad1a7 --- /dev/null +++ b/modelchecker/tests/2.AtB @@ -0,0 +1 @@ ++.* diff --git a/modelchecker/tests/2.Atb b/modelchecker/tests/2.Atb new file mode 100644 index 0000000..95190a4 --- /dev/null +++ b/modelchecker/tests/2.Atb @@ -0,0 +1 @@ ++.$ diff --git a/modelchecker/tests/2.BAf b/modelchecker/tests/2.BAf new file mode 100644 index 0000000..63b96cf --- /dev/null +++ b/modelchecker/tests/2.BAf @@ -0,0 +1 @@ +*+ diff --git a/modelchecker/tests/2.BAt b/modelchecker/tests/2.BAt new file mode 100644 index 0000000..5915301 --- /dev/null +++ b/modelchecker/tests/2.BAt @@ -0,0 +1 @@ +*+. diff --git a/modelchecker/tests/2.Baf b/modelchecker/tests/2.Baf new file mode 100644 index 0000000..c3a206b --- /dev/null +++ b/modelchecker/tests/2.Baf @@ -0,0 +1 @@ +*@ diff --git a/modelchecker/tests/2.Bat b/modelchecker/tests/2.Bat new file mode 100644 index 0000000..e8f78e6 --- /dev/null +++ b/modelchecker/tests/2.Bat @@ -0,0 +1 @@ +*@. diff --git a/modelchecker/tests/2.BfA b/modelchecker/tests/2.BfA new file mode 100644 index 0000000..b6695e9 --- /dev/null +++ b/modelchecker/tests/2.BfA @@ -0,0 +1 @@ +* + diff --git a/modelchecker/tests/2.Bfa b/modelchecker/tests/2.Bfa new file mode 100644 index 0000000..306363e --- /dev/null +++ b/modelchecker/tests/2.Bfa @@ -0,0 +1 @@ +* @ diff --git a/modelchecker/tests/2.BtA b/modelchecker/tests/2.BtA new file mode 100644 index 0000000..3164958 --- /dev/null +++ b/modelchecker/tests/2.BtA @@ -0,0 +1 @@ +*.+ diff --git a/modelchecker/tests/2.Bta b/modelchecker/tests/2.Bta new file mode 100644 index 0000000..1baf176 --- /dev/null +++ b/modelchecker/tests/2.Bta @@ -0,0 +1 @@ +*.@ diff --git a/modelchecker/tests/2.af b/modelchecker/tests/2.af new file mode 100644 index 0000000..fe9a7f4 --- /dev/null +++ b/modelchecker/tests/2.af @@ -0,0 +1 @@ +@ diff --git a/modelchecker/tests/2.afB b/modelchecker/tests/2.afB new file mode 100644 index 0000000..5bddb2c --- /dev/null +++ b/modelchecker/tests/2.afB @@ -0,0 +1 @@ +@ * diff --git a/modelchecker/tests/2.afb b/modelchecker/tests/2.afb new file mode 100644 index 0000000..9d5d76b --- /dev/null +++ b/modelchecker/tests/2.afb @@ -0,0 +1 @@ +@ $ diff --git a/modelchecker/tests/2.at b/modelchecker/tests/2.at new file mode 100644 index 0000000..af5c276 --- /dev/null +++ b/modelchecker/tests/2.at @@ -0,0 +1 @@ +@. diff --git a/modelchecker/tests/2.atB b/modelchecker/tests/2.atB new file mode 100644 index 0000000..5802d41 --- /dev/null +++ b/modelchecker/tests/2.atB @@ -0,0 +1 @@ +@.* diff --git a/modelchecker/tests/2.atb b/modelchecker/tests/2.atb new file mode 100644 index 0000000..ee897ea --- /dev/null +++ b/modelchecker/tests/2.atb @@ -0,0 +1 @@ +@.$ diff --git a/modelchecker/tests/2.bAf b/modelchecker/tests/2.bAf new file mode 100644 index 0000000..7865ef3 --- /dev/null +++ b/modelchecker/tests/2.bAf @@ -0,0 +1 @@ +$+ diff --git a/modelchecker/tests/2.bAt b/modelchecker/tests/2.bAt new file mode 100644 index 0000000..905a558 --- /dev/null +++ b/modelchecker/tests/2.bAt @@ -0,0 +1 @@ +$+. diff --git a/modelchecker/tests/2.baf b/modelchecker/tests/2.baf new file mode 100644 index 0000000..e441b78 --- /dev/null +++ b/modelchecker/tests/2.baf @@ -0,0 +1 @@ +$@ diff --git a/modelchecker/tests/2.bat b/modelchecker/tests/2.bat new file mode 100644 index 0000000..093bb5e --- /dev/null +++ b/modelchecker/tests/2.bat @@ -0,0 +1 @@ +$@. diff --git a/modelchecker/tests/2.bfA b/modelchecker/tests/2.bfA new file mode 100644 index 0000000..9775cb6 --- /dev/null +++ b/modelchecker/tests/2.bfA @@ -0,0 +1 @@ +$ + diff --git a/modelchecker/tests/2.bfa b/modelchecker/tests/2.bfa new file mode 100644 index 0000000..fc96b61 --- /dev/null +++ b/modelchecker/tests/2.bfa @@ -0,0 +1 @@ +$ @ diff --git a/modelchecker/tests/2.btA b/modelchecker/tests/2.btA new file mode 100644 index 0000000..9665c94 --- /dev/null +++ b/modelchecker/tests/2.btA @@ -0,0 +1 @@ +$.+ diff --git a/modelchecker/tests/2.bta b/modelchecker/tests/2.bta new file mode 100644 index 0000000..4779a9f --- /dev/null +++ b/modelchecker/tests/2.bta @@ -0,0 +1 @@ +$.@ diff --git a/modelchecker/tests/2.fA b/modelchecker/tests/2.fA new file mode 100644 index 0000000..8f4b4db --- /dev/null +++ b/modelchecker/tests/2.fA @@ -0,0 +1 @@ + + diff --git a/modelchecker/tests/2.fAB b/modelchecker/tests/2.fAB new file mode 100644 index 0000000..5e4bef5 --- /dev/null +++ b/modelchecker/tests/2.fAB @@ -0,0 +1 @@ + +* diff --git a/modelchecker/tests/2.fAb b/modelchecker/tests/2.fAb new file mode 100644 index 0000000..08eef60 --- /dev/null +++ b/modelchecker/tests/2.fAb @@ -0,0 +1 @@ + +$ diff --git a/modelchecker/tests/2.fa b/modelchecker/tests/2.fa new file mode 100644 index 0000000..d575886 --- /dev/null +++ b/modelchecker/tests/2.fa @@ -0,0 +1 @@ + @ diff --git a/modelchecker/tests/2.faB b/modelchecker/tests/2.faB new file mode 100644 index 0000000..ab93399 --- /dev/null +++ b/modelchecker/tests/2.faB @@ -0,0 +1 @@ + @* diff --git a/modelchecker/tests/2.fab b/modelchecker/tests/2.fab new file mode 100644 index 0000000..51df466 --- /dev/null +++ b/modelchecker/tests/2.fab @@ -0,0 +1 @@ + @$ diff --git a/modelchecker/tests/2.tA b/modelchecker/tests/2.tA new file mode 100644 index 0000000..b18168c --- /dev/null +++ b/modelchecker/tests/2.tA @@ -0,0 +1 @@ +.+ diff --git a/modelchecker/tests/2.tAB b/modelchecker/tests/2.tAB new file mode 100644 index 0000000..46a34b1 --- /dev/null +++ b/modelchecker/tests/2.tAB @@ -0,0 +1 @@ +.+* diff --git a/modelchecker/tests/2.tAb b/modelchecker/tests/2.tAb new file mode 100644 index 0000000..7c7130f --- /dev/null +++ b/modelchecker/tests/2.tAb @@ -0,0 +1 @@ +.+$ diff --git a/modelchecker/tests/2.ta b/modelchecker/tests/2.ta new file mode 100644 index 0000000..694e87c --- /dev/null +++ b/modelchecker/tests/2.ta @@ -0,0 +1 @@ +.@ diff --git a/modelchecker/tests/2.taB b/modelchecker/tests/2.taB new file mode 100644 index 0000000..8cbe2d6 --- /dev/null +++ b/modelchecker/tests/2.taB @@ -0,0 +1 @@ +.@* diff --git a/modelchecker/tests/2.tab b/modelchecker/tests/2.tab new file mode 100644 index 0000000..4fd2a6e --- /dev/null +++ b/modelchecker/tests/2.tab @@ -0,0 +1 @@ +.@$ diff --git a/modelchecker/tests/3.ABf b/modelchecker/tests/3.ABf new file mode 100644 index 0000000..7b80397 --- /dev/null +++ b/modelchecker/tests/3.ABf @@ -0,0 +1 @@ ++* diff --git a/modelchecker/tests/3.ABt b/modelchecker/tests/3.ABt new file mode 100644 index 0000000..91459b8 --- /dev/null +++ b/modelchecker/tests/3.ABt @@ -0,0 +1 @@ ++*. diff --git a/modelchecker/tests/3.Abf b/modelchecker/tests/3.Abf new file mode 100644 index 0000000..656cb7f --- /dev/null +++ b/modelchecker/tests/3.Abf @@ -0,0 +1 @@ ++$ diff --git a/modelchecker/tests/3.Abt b/modelchecker/tests/3.Abt new file mode 100644 index 0000000..eea9930 --- /dev/null +++ b/modelchecker/tests/3.Abt @@ -0,0 +1 @@ ++$. diff --git a/modelchecker/tests/3.Aff b/modelchecker/tests/3.Aff new file mode 100644 index 0000000..ee5f1c3 --- /dev/null +++ b/modelchecker/tests/3.Aff @@ -0,0 +1 @@ ++ diff --git a/modelchecker/tests/3.Aft b/modelchecker/tests/3.Aft new file mode 100644 index 0000000..dc2b92b --- /dev/null +++ b/modelchecker/tests/3.Aft @@ -0,0 +1 @@ ++ . diff --git a/modelchecker/tests/3.Atf b/modelchecker/tests/3.Atf new file mode 100644 index 0000000..67d4a5d --- /dev/null +++ b/modelchecker/tests/3.Atf @@ -0,0 +1 @@ ++. diff --git a/modelchecker/tests/3.Att b/modelchecker/tests/3.Att new file mode 100644 index 0000000..552ccae --- /dev/null +++ b/modelchecker/tests/3.Att @@ -0,0 +1 @@ ++.. diff --git a/modelchecker/tests/3.aBf b/modelchecker/tests/3.aBf new file mode 100644 index 0000000..643a7f1 --- /dev/null +++ b/modelchecker/tests/3.aBf @@ -0,0 +1 @@ +@* diff --git a/modelchecker/tests/3.aBt b/modelchecker/tests/3.aBt new file mode 100644 index 0000000..974d5e3 --- /dev/null +++ b/modelchecker/tests/3.aBt @@ -0,0 +1 @@ +@*. diff --git a/modelchecker/tests/3.abf b/modelchecker/tests/3.abf new file mode 100644 index 0000000..16389df --- /dev/null +++ b/modelchecker/tests/3.abf @@ -0,0 +1 @@ +@$ diff --git a/modelchecker/tests/3.abt b/modelchecker/tests/3.abt new file mode 100644 index 0000000..8d4f16e --- /dev/null +++ b/modelchecker/tests/3.abt @@ -0,0 +1 @@ +@$. diff --git a/modelchecker/tests/3.aff b/modelchecker/tests/3.aff new file mode 100644 index 0000000..5644553 --- /dev/null +++ b/modelchecker/tests/3.aff @@ -0,0 +1 @@ +@ diff --git a/modelchecker/tests/3.aft b/modelchecker/tests/3.aft new file mode 100644 index 0000000..1d89be2 --- /dev/null +++ b/modelchecker/tests/3.aft @@ -0,0 +1 @@ +@ . diff --git a/modelchecker/tests/3.atf b/modelchecker/tests/3.atf new file mode 100644 index 0000000..eef7761 --- /dev/null +++ b/modelchecker/tests/3.atf @@ -0,0 +1 @@ +@. diff --git a/modelchecker/tests/3.att b/modelchecker/tests/3.att new file mode 100644 index 0000000..1c559b3 --- /dev/null +++ b/modelchecker/tests/3.att @@ -0,0 +1 @@ +@.. diff --git a/modelchecker/tests/3.fAf b/modelchecker/tests/3.fAf new file mode 100644 index 0000000..8d570bc --- /dev/null +++ b/modelchecker/tests/3.fAf @@ -0,0 +1 @@ + + diff --git a/modelchecker/tests/3.fAt b/modelchecker/tests/3.fAt new file mode 100644 index 0000000..815c378 --- /dev/null +++ b/modelchecker/tests/3.fAt @@ -0,0 +1 @@ + +. diff --git a/modelchecker/tests/3.fBA b/modelchecker/tests/3.fBA new file mode 100644 index 0000000..ff505f8 --- /dev/null +++ b/modelchecker/tests/3.fBA @@ -0,0 +1 @@ + *+ diff --git a/modelchecker/tests/3.fBa b/modelchecker/tests/3.fBa new file mode 100644 index 0000000..f8614b0 --- /dev/null +++ b/modelchecker/tests/3.fBa @@ -0,0 +1 @@ + *@ diff --git a/modelchecker/tests/3.faf b/modelchecker/tests/3.faf new file mode 100644 index 0000000..6400bed --- /dev/null +++ b/modelchecker/tests/3.faf @@ -0,0 +1 @@ + @ diff --git a/modelchecker/tests/3.fat b/modelchecker/tests/3.fat new file mode 100644 index 0000000..4f3e30b --- /dev/null +++ b/modelchecker/tests/3.fat @@ -0,0 +1 @@ + @. diff --git a/modelchecker/tests/3.fbA b/modelchecker/tests/3.fbA new file mode 100644 index 0000000..71cb1a0 --- /dev/null +++ b/modelchecker/tests/3.fbA @@ -0,0 +1 @@ + $+ diff --git a/modelchecker/tests/3.fba b/modelchecker/tests/3.fba new file mode 100644 index 0000000..7af6ef0 --- /dev/null +++ b/modelchecker/tests/3.fba @@ -0,0 +1 @@ + $@ diff --git a/modelchecker/tests/3.ffA b/modelchecker/tests/3.ffA new file mode 100644 index 0000000..0c1c7ad --- /dev/null +++ b/modelchecker/tests/3.ffA @@ -0,0 +1 @@ + + diff --git a/modelchecker/tests/3.ffa b/modelchecker/tests/3.ffa new file mode 100644 index 0000000..5bd7b57 --- /dev/null +++ b/modelchecker/tests/3.ffa @@ -0,0 +1 @@ + @ diff --git a/modelchecker/tests/3.ftA b/modelchecker/tests/3.ftA new file mode 100644 index 0000000..353d1f3 --- /dev/null +++ b/modelchecker/tests/3.ftA @@ -0,0 +1 @@ + .+ diff --git a/modelchecker/tests/3.fta b/modelchecker/tests/3.fta new file mode 100644 index 0000000..fdfbe90 --- /dev/null +++ b/modelchecker/tests/3.fta @@ -0,0 +1 @@ + .@ diff --git a/modelchecker/tests/3.tAf b/modelchecker/tests/3.tAf new file mode 100644 index 0000000..dc9b5cf --- /dev/null +++ b/modelchecker/tests/3.tAf @@ -0,0 +1 @@ +.+ diff --git a/modelchecker/tests/3.tAt b/modelchecker/tests/3.tAt new file mode 100644 index 0000000..1ebfeac --- /dev/null +++ b/modelchecker/tests/3.tAt @@ -0,0 +1 @@ +.+. diff --git a/modelchecker/tests/3.tBA b/modelchecker/tests/3.tBA new file mode 100644 index 0000000..7684803 --- /dev/null +++ b/modelchecker/tests/3.tBA @@ -0,0 +1 @@ +.*+ diff --git a/modelchecker/tests/3.tBa b/modelchecker/tests/3.tBa new file mode 100644 index 0000000..c14534f --- /dev/null +++ b/modelchecker/tests/3.tBa @@ -0,0 +1 @@ +.*@ diff --git a/modelchecker/tests/3.taf b/modelchecker/tests/3.taf new file mode 100644 index 0000000..c7c0090 --- /dev/null +++ b/modelchecker/tests/3.taf @@ -0,0 +1 @@ +.@ diff --git a/modelchecker/tests/3.tat b/modelchecker/tests/3.tat new file mode 100644 index 0000000..2a7f3cd --- /dev/null +++ b/modelchecker/tests/3.tat @@ -0,0 +1 @@ +.@. diff --git a/modelchecker/tests/3.tbA b/modelchecker/tests/3.tbA new file mode 100644 index 0000000..d68dc04 --- /dev/null +++ b/modelchecker/tests/3.tbA @@ -0,0 +1 @@ +.$+ diff --git a/modelchecker/tests/3.tba b/modelchecker/tests/3.tba new file mode 100644 index 0000000..31dc1b0 --- /dev/null +++ b/modelchecker/tests/3.tba @@ -0,0 +1 @@ +.$@ diff --git a/modelchecker/tests/3.tfA b/modelchecker/tests/3.tfA new file mode 100644 index 0000000..d8cd4de --- /dev/null +++ b/modelchecker/tests/3.tfA @@ -0,0 +1 @@ +. + diff --git a/modelchecker/tests/3.tfa b/modelchecker/tests/3.tfa new file mode 100644 index 0000000..ccb58de --- /dev/null +++ b/modelchecker/tests/3.tfa @@ -0,0 +1 @@ +. @ diff --git a/modelchecker/tests/3.ttA b/modelchecker/tests/3.ttA new file mode 100644 index 0000000..2b39a1b --- /dev/null +++ b/modelchecker/tests/3.ttA @@ -0,0 +1 @@ +..+ diff --git a/modelchecker/tests/3.tta b/modelchecker/tests/3.tta new file mode 100644 index 0000000..51a2953 --- /dev/null +++ b/modelchecker/tests/3.tta @@ -0,0 +1 @@ +..@ -- 2.20.1