update test

diff --git a/modelchecker/test.sh b/modelchecker/test.sh
index 368814a..2aa9aea 100755 (executable)
--- 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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
index 0000000..51a2953
--- /dev/null
+++ b/modelchecker/tests/3.tta
@@ -0,0 +1 @@
+..@