added vertical tests

diff --git a/modelchecker/tests/1.vaq b/modelchecker/tests/1.vaq
new file mode 100644 (file)
index 0000000..8120701
--- /dev/null
+++ b/modelchecker/tests/1.vaq
@@ -0,0 +1,3 @@
+@
+$
+$

diff --git a/modelchecker/tests/1.var b/modelchecker/tests/1.var
new file mode 100644 (file)
index 0000000..f8665a2
--- /dev/null
+++ b/modelchecker/tests/1.var
@@ -0,0 +1,3 @@
++
+$
+$

diff --git a/modelchecker/tests/1.vas b/modelchecker/tests/1.vas
new file mode 100644 (file)
index 0000000..7dc8c7c
--- /dev/null
+++ b/modelchecker/tests/1.vas
@@ -0,0 +1,3 @@
+$
+@
+$

diff --git a/modelchecker/tests/1.vat b/modelchecker/tests/1.vat
new file mode 100644 (file)
index 0000000..4cb0559
--- /dev/null
+++ b/modelchecker/tests/1.vat
@@ -0,0 +1,3 @@
+$
++
+$

diff --git a/modelchecker/tests/1.vau b/modelchecker/tests/1.vau
new file mode 100644 (file)
index 0000000..86b0565
--- /dev/null
+++ b/modelchecker/tests/1.vau
@@ -0,0 +1,3 @@
+$
+$
+@

diff --git a/modelchecker/tests/1.vav b/modelchecker/tests/1.vav
new file mode 100644 (file)
index 0000000..b9262e3
--- /dev/null
+++ b/modelchecker/tests/1.vav
@@ -0,0 +1,3 @@
+$
+$
++

diff --git a/modelchecker/tests/1.vaw b/modelchecker/tests/1.vaw
new file mode 100644 (file)
index 0000000..b17e295
--- /dev/null
+++ b/modelchecker/tests/1.vaw
@@ -0,0 +1,3 @@
+@
+*
+*

diff --git a/modelchecker/tests/1.vax b/modelchecker/tests/1.vax
new file mode 100644 (file)
index 0000000..baa8df6
--- /dev/null
+++ b/modelchecker/tests/1.vax
@@ -0,0 +1,3 @@
++
+*
+*

diff --git a/modelchecker/tests/1.vay b/modelchecker/tests/1.vay
new file mode 100644 (file)
index 0000000..898bc73
--- /dev/null
+++ b/modelchecker/tests/1.vay
@@ -0,0 +1,3 @@
+*
+@
+*

diff --git a/modelchecker/tests/1.vaz b/modelchecker/tests/1.vaz
new file mode 100644 (file)
index 0000000..c264087
--- /dev/null
+++ b/modelchecker/tests/1.vaz
@@ -0,0 +1,3 @@
+*
++
+*

diff --git a/modelchecker/tests/1.vba b/modelchecker/tests/1.vba
new file mode 100644 (file)
index 0000000..1bf033f
--- /dev/null
+++ b/modelchecker/tests/1.vba
@@ -0,0 +1,3 @@
+*
+*
+@

diff --git a/modelchecker/tests/1.vbb b/modelchecker/tests/1.vbb
new file mode 100644 (file)
index 0000000..839d009
--- /dev/null
+++ b/modelchecker/tests/1.vbb
@@ -0,0 +1,3 @@
+*
+*
++

diff --git a/modelchecker/tests/1.vbo b/modelchecker/tests/1.vbo
new file mode 100644 (file)
index 0000000..05d627a
--- /dev/null
+++ b/modelchecker/tests/1.vbo
@@ -0,0 +1,3 @@
+@
+$
+ 

diff --git a/modelchecker/tests/1.vbq b/modelchecker/tests/1.vbq
new file mode 100644 (file)
index 0000000..6cb4e01
--- /dev/null
+++ b/modelchecker/tests/1.vbq
@@ -0,0 +1,3 @@
++
+$
+ 

diff --git a/modelchecker/tests/1.vbx b/modelchecker/tests/1.vbx
new file mode 100644 (file)
index 0000000..956d71a
--- /dev/null
+++ b/modelchecker/tests/1.vbx
@@ -0,0 +1,3 @@
+ 
+$
+@

diff --git a/modelchecker/tests/1.vbz b/modelchecker/tests/1.vbz
new file mode 100644 (file)
index 0000000..49be683
--- /dev/null
+++ b/modelchecker/tests/1.vbz
@@ -0,0 +1,3 @@
+ 
+$
++

diff --git a/modelchecker/tests/1.vca b/modelchecker/tests/1.vca
new file mode 100644 (file)
index 0000000..c4b1236
--- /dev/null
+++ b/modelchecker/tests/1.vca
@@ -0,0 +1,3 @@
+@
+*
+ 

diff --git a/modelchecker/tests/1.vcc b/modelchecker/tests/1.vcc
new file mode 100644 (file)
index 0000000..a15c6ce
--- /dev/null
+++ b/modelchecker/tests/1.vcc
@@ -0,0 +1,3 @@
++
+*
+ 

diff --git a/modelchecker/tests/1.vcj b/modelchecker/tests/1.vcj
new file mode 100644 (file)
index 0000000..623036e
--- /dev/null
+++ b/modelchecker/tests/1.vcj
@@ -0,0 +1,3 @@
+ 
+*
+@

diff --git a/modelchecker/tests/1.vcl b/modelchecker/tests/1.vcl
new file mode 100644 (file)
index 0000000..270cf5f
--- /dev/null
+++ b/modelchecker/tests/1.vcl
@@ -0,0 +1,3 @@
+ 
+*
++

diff --git a/modelchecker/tests/1.vcm b/modelchecker/tests/1.vcm
new file mode 100644 (file)
index 0000000..4941282
--- /dev/null
+++ b/modelchecker/tests/1.vcm
@@ -0,0 +1,3 @@
+@
+$
+.

diff --git a/modelchecker/tests/1.vco b/modelchecker/tests/1.vco
new file mode 100644 (file)
index 0000000..b7438d7
--- /dev/null
+++ b/modelchecker/tests/1.vco
@@ -0,0 +1,3 @@
++
+$
+.

diff --git a/modelchecker/tests/1.vcv b/modelchecker/tests/1.vcv
new file mode 100644 (file)
index 0000000..e262fd1
--- /dev/null
+++ b/modelchecker/tests/1.vcv
@@ -0,0 +1,3 @@
+.
+$
+@

diff --git a/modelchecker/tests/1.vcx b/modelchecker/tests/1.vcx
new file mode 100644 (file)
index 0000000..f8c3ad9
--- /dev/null
+++ b/modelchecker/tests/1.vcx
@@ -0,0 +1,3 @@
+.
+$
++

diff --git a/modelchecker/tests/1.vcz b/modelchecker/tests/1.vcz
new file mode 100644 (file)
index 0000000..7ffddba
--- /dev/null
+++ b/modelchecker/tests/1.vcz
@@ -0,0 +1,3 @@
+@
+*
+.

diff --git a/modelchecker/tests/1.vdb b/modelchecker/tests/1.vdb
new file mode 100644 (file)
index 0000000..1e2122a
--- /dev/null
+++ b/modelchecker/tests/1.vdb
@@ -0,0 +1,3 @@
++
+*
+.

diff --git a/modelchecker/tests/1.vdi b/modelchecker/tests/1.vdi
new file mode 100644 (file)
index 0000000..f8b21c3
--- /dev/null
+++ b/modelchecker/tests/1.vdi
@@ -0,0 +1,3 @@
+.
+*
+@

diff --git a/modelchecker/tests/1.vdk b/modelchecker/tests/1.vdk
new file mode 100644 (file)
index 0000000..f461dc2
--- /dev/null
+++ b/modelchecker/tests/1.vdk
@@ -0,0 +1,3 @@
+.
+*
++

diff --git a/modelchecker/tests/1.vdl b/modelchecker/tests/1.vdl
new file mode 100644 (file)
index 0000000..478e2f6
--- /dev/null
+++ b/modelchecker/tests/1.vdl
@@ -0,0 +1,3 @@
+@
+*
+$

diff --git a/modelchecker/tests/1.vdm b/modelchecker/tests/1.vdm
new file mode 100644 (file)
index 0000000..2021dcc
--- /dev/null
+++ b/modelchecker/tests/1.vdm
@@ -0,0 +1,3 @@
+@
+$
+*

diff --git a/modelchecker/tests/1.vdn b/modelchecker/tests/1.vdn
new file mode 100644 (file)
index 0000000..89d0349
--- /dev/null
+++ b/modelchecker/tests/1.vdn
@@ -0,0 +1,3 @@
++
+*
+$

diff --git a/modelchecker/tests/1.vdo b/modelchecker/tests/1.vdo
new file mode 100644 (file)
index 0000000..a2f0016
--- /dev/null
+++ b/modelchecker/tests/1.vdo
@@ -0,0 +1,3 @@
++
+$
+*

diff --git a/modelchecker/tests/1.vdp b/modelchecker/tests/1.vdp
new file mode 100644 (file)
index 0000000..16ba0a6
--- /dev/null
+++ b/modelchecker/tests/1.vdp
@@ -0,0 +1,3 @@
+*
+@
+$

diff --git a/modelchecker/tests/1.vdq b/modelchecker/tests/1.vdq
new file mode 100644 (file)
index 0000000..8ee2519
--- /dev/null
+++ b/modelchecker/tests/1.vdq
@@ -0,0 +1,3 @@
+$
+@
+*

diff --git a/modelchecker/tests/1.vdr b/modelchecker/tests/1.vdr
new file mode 100644 (file)
index 0000000..fca059e
--- /dev/null
+++ b/modelchecker/tests/1.vdr
@@ -0,0 +1,3 @@
+*
++
+$

diff --git a/modelchecker/tests/1.vds b/modelchecker/tests/1.vds
new file mode 100644 (file)
index 0000000..ecfe626
--- /dev/null
+++ b/modelchecker/tests/1.vds
@@ -0,0 +1,3 @@
+$
++
+*

diff --git a/modelchecker/tests/1.vdt b/modelchecker/tests/1.vdt
new file mode 100644 (file)
index 0000000..c195531
--- /dev/null
+++ b/modelchecker/tests/1.vdt
@@ -0,0 +1,3 @@
+*
+$
+@

diff --git a/modelchecker/tests/1.vdu b/modelchecker/tests/1.vdu
new file mode 100644 (file)
index 0000000..efc1720
--- /dev/null
+++ b/modelchecker/tests/1.vdu
@@ -0,0 +1,3 @@
+$
+*
+@

diff --git a/modelchecker/tests/1.vdv b/modelchecker/tests/1.vdv
new file mode 100644 (file)
index 0000000..67f3e03
--- /dev/null
+++ b/modelchecker/tests/1.vdv
@@ -0,0 +1,3 @@
+*
+$
++

diff --git a/modelchecker/tests/1.vdw b/modelchecker/tests/1.vdw
new file mode 100644 (file)
index 0000000..f0ebc70
--- /dev/null
+++ b/modelchecker/tests/1.vdw
@@ -0,0 +1,3 @@
+$
+*
++

diff --git a/modelchecker/tests/2.vbp b/modelchecker/tests/2.vbp
new file mode 100644 (file)
index 0000000..1e6bb13
--- /dev/null
+++ b/modelchecker/tests/2.vbp
@@ -0,0 +1,3 @@
+@
+ 
+$

diff --git a/modelchecker/tests/2.vbr b/modelchecker/tests/2.vbr
new file mode 100644 (file)
index 0000000..3d9780c
--- /dev/null
+++ b/modelchecker/tests/2.vbr
@@ -0,0 +1,3 @@
++
+ 
+$

diff --git a/modelchecker/tests/2.vbs b/modelchecker/tests/2.vbs
new file mode 100644 (file)
index 0000000..4bd9331
--- /dev/null
+++ b/modelchecker/tests/2.vbs
@@ -0,0 +1,3 @@
+$
+@
+ 

diff --git a/modelchecker/tests/2.vbt b/modelchecker/tests/2.vbt
new file mode 100644 (file)
index 0000000..1d4abd6
--- /dev/null
+++ b/modelchecker/tests/2.vbt
@@ -0,0 +1,3 @@
+ 
+@
+$

diff --git a/modelchecker/tests/2.vbu b/modelchecker/tests/2.vbu
new file mode 100644 (file)
index 0000000..5e32b07
--- /dev/null
+++ b/modelchecker/tests/2.vbu
@@ -0,0 +1,3 @@
+$
++
+ 

diff --git a/modelchecker/tests/2.vbv b/modelchecker/tests/2.vbv
new file mode 100644 (file)
index 0000000..dd4eefc
--- /dev/null
+++ b/modelchecker/tests/2.vbv
@@ -0,0 +1,3 @@
+ 
++
+$

diff --git a/modelchecker/tests/2.vbw b/modelchecker/tests/2.vbw
new file mode 100644 (file)
index 0000000..dc2824b
--- /dev/null
+++ b/modelchecker/tests/2.vbw
@@ -0,0 +1,3 @@
+$
+ 
+@

diff --git a/modelchecker/tests/2.vby b/modelchecker/tests/2.vby
new file mode 100644 (file)
index 0000000..ef7177f
--- /dev/null
+++ b/modelchecker/tests/2.vby
@@ -0,0 +1,3 @@
+$
+ 
++

diff --git a/modelchecker/tests/2.vcb b/modelchecker/tests/2.vcb
new file mode 100644 (file)
index 0000000..722af13
--- /dev/null
+++ b/modelchecker/tests/2.vcb
@@ -0,0 +1,3 @@
+@
+ 
+*

diff --git a/modelchecker/tests/2.vcd b/modelchecker/tests/2.vcd
new file mode 100644 (file)
index 0000000..4ed347b
--- /dev/null
+++ b/modelchecker/tests/2.vcd
@@ -0,0 +1,3 @@
++
+ 
+*

diff --git a/modelchecker/tests/2.vce b/modelchecker/tests/2.vce
new file mode 100644 (file)
index 0000000..aefa84d
--- /dev/null
+++ b/modelchecker/tests/2.vce
@@ -0,0 +1,3 @@
+*
+@
+ 

diff --git a/modelchecker/tests/2.vcf b/modelchecker/tests/2.vcf
new file mode 100644 (file)
index 0000000..6552726
--- /dev/null
+++ b/modelchecker/tests/2.vcf
@@ -0,0 +1,3 @@
+ 
+@
+*

diff --git a/modelchecker/tests/2.vcg b/modelchecker/tests/2.vcg
new file mode 100644 (file)
index 0000000..e9e7105
--- /dev/null
+++ b/modelchecker/tests/2.vcg
@@ -0,0 +1,3 @@
+*
++
+ 

diff --git a/modelchecker/tests/2.vch b/modelchecker/tests/2.vch
new file mode 100644 (file)
index 0000000..e5dc986
--- /dev/null
+++ b/modelchecker/tests/2.vch
@@ -0,0 +1,3 @@
+ 
++
+*

diff --git a/modelchecker/tests/2.vci b/modelchecker/tests/2.vci
new file mode 100644 (file)
index 0000000..4f9c009
--- /dev/null
+++ b/modelchecker/tests/2.vci
@@ -0,0 +1,3 @@
+*
+ 
+@

diff --git a/modelchecker/tests/2.vck b/modelchecker/tests/2.vck
new file mode 100644 (file)
index 0000000..86134a8
--- /dev/null
+++ b/modelchecker/tests/2.vck
@@ -0,0 +1,3 @@
+*
+ 
++

diff --git a/modelchecker/tests/2.vcn b/modelchecker/tests/2.vcn
new file mode 100644 (file)
index 0000000..5675a65
--- /dev/null
+++ b/modelchecker/tests/2.vcn
@@ -0,0 +1,3 @@
+@
+.
+$

diff --git a/modelchecker/tests/2.vcp b/modelchecker/tests/2.vcp
new file mode 100644 (file)
index 0000000..ee03d64
--- /dev/null
+++ b/modelchecker/tests/2.vcp
@@ -0,0 +1,3 @@
++
+.
+$

diff --git a/modelchecker/tests/2.vcq b/modelchecker/tests/2.vcq
new file mode 100644 (file)
index 0000000..47b9d2b
--- /dev/null
+++ b/modelchecker/tests/2.vcq
@@ -0,0 +1,3 @@
+$
+@
+.

diff --git a/modelchecker/tests/2.vcr b/modelchecker/tests/2.vcr
new file mode 100644 (file)
index 0000000..4709abd
--- /dev/null
+++ b/modelchecker/tests/2.vcr
@@ -0,0 +1,3 @@
+.
+@
+$

diff --git a/modelchecker/tests/2.vcs b/modelchecker/tests/2.vcs
new file mode 100644 (file)
index 0000000..c26e5ba
--- /dev/null
+++ b/modelchecker/tests/2.vcs
@@ -0,0 +1,3 @@
+$
++
+.

diff --git a/modelchecker/tests/2.vct b/modelchecker/tests/2.vct
new file mode 100644 (file)
index 0000000..9d6bd49
--- /dev/null
+++ b/modelchecker/tests/2.vct
@@ -0,0 +1,3 @@
+.
++
+$

diff --git a/modelchecker/tests/2.vcu b/modelchecker/tests/2.vcu
new file mode 100644 (file)
index 0000000..ece8904
--- /dev/null
+++ b/modelchecker/tests/2.vcu
@@ -0,0 +1,3 @@
+$
+.
+@

diff --git a/modelchecker/tests/2.vcw b/modelchecker/tests/2.vcw
new file mode 100644 (file)
index 0000000..eebd4eb
--- /dev/null
+++ b/modelchecker/tests/2.vcw
@@ -0,0 +1,3 @@
+$
+.
++

diff --git a/modelchecker/tests/2.vda b/modelchecker/tests/2.vda
new file mode 100644 (file)
index 0000000..ae86e52
--- /dev/null
+++ b/modelchecker/tests/2.vda
@@ -0,0 +1,3 @@
+@
+.
+*

diff --git a/modelchecker/tests/2.vdc b/modelchecker/tests/2.vdc
new file mode 100644 (file)
index 0000000..c2fa9a0
--- /dev/null
+++ b/modelchecker/tests/2.vdc
@@ -0,0 +1,3 @@
++
+.
+*

diff --git a/modelchecker/tests/2.vdd b/modelchecker/tests/2.vdd
new file mode 100644 (file)
index 0000000..17e6de9
--- /dev/null
+++ b/modelchecker/tests/2.vdd
@@ -0,0 +1,3 @@
+*
+@
+.

diff --git a/modelchecker/tests/2.vde b/modelchecker/tests/2.vde
new file mode 100644 (file)
index 0000000..d51a4e6
--- /dev/null
+++ b/modelchecker/tests/2.vde
@@ -0,0 +1,3 @@
+.
+@
+*

diff --git a/modelchecker/tests/2.vdf b/modelchecker/tests/2.vdf
new file mode 100644 (file)
index 0000000..672e1a8
--- /dev/null
+++ b/modelchecker/tests/2.vdf
@@ -0,0 +1,3 @@
+*
++
+.

diff --git a/modelchecker/tests/2.vdg b/modelchecker/tests/2.vdg
new file mode 100644 (file)
index 0000000..6fb623b
--- /dev/null
+++ b/modelchecker/tests/2.vdg
@@ -0,0 +1,3 @@
+.
++
+*

diff --git a/modelchecker/tests/2.vdh b/modelchecker/tests/2.vdh
new file mode 100644 (file)
index 0000000..34882ee
--- /dev/null
+++ b/modelchecker/tests/2.vdh
@@ -0,0 +1,3 @@
+*
+.
+@

diff --git a/modelchecker/tests/2.vdj b/modelchecker/tests/2.vdj
new file mode 100644 (file)
index 0000000..2b3a673
--- /dev/null
+++ b/modelchecker/tests/2.vdj
@@ -0,0 +1,3 @@
+*
+.
++

diff --git a/modelchecker/tests/3.vae b/modelchecker/tests/3.vae
new file mode 100644 (file)
index 0000000..7610065
--- /dev/null
+++ b/modelchecker/tests/3.vae
@@ -0,0 +1,3 @@
+@
+ 
+ 

diff --git a/modelchecker/tests/3.vaf b/modelchecker/tests/3.vaf
new file mode 100644 (file)
index 0000000..aab35a7
--- /dev/null
+++ b/modelchecker/tests/3.vaf
@@ -0,0 +1,3 @@
++
+ 
+ 

diff --git a/modelchecker/tests/3.vag b/modelchecker/tests/3.vag
new file mode 100644 (file)
index 0000000..07e0526
--- /dev/null
+++ b/modelchecker/tests/3.vag
@@ -0,0 +1,3 @@
+ 
+@
+ 

diff --git a/modelchecker/tests/3.vah b/modelchecker/tests/3.vah
new file mode 100644 (file)
index 0000000..80f110d
--- /dev/null
+++ b/modelchecker/tests/3.vah
@@ -0,0 +1,3 @@
+ 
++
+ 

diff --git a/modelchecker/tests/3.vai b/modelchecker/tests/3.vai
new file mode 100644 (file)
index 0000000..010abc8
--- /dev/null
+++ b/modelchecker/tests/3.vai
@@ -0,0 +1,3 @@
+ 
+ 
+@

diff --git a/modelchecker/tests/3.vaj b/modelchecker/tests/3.vaj
new file mode 100644 (file)
index 0000000..ec3062a
--- /dev/null
+++ b/modelchecker/tests/3.vaj
@@ -0,0 +1,3 @@
+ 
+ 
++

diff --git a/modelchecker/tests/3.vak b/modelchecker/tests/3.vak
new file mode 100644 (file)
index 0000000..66b2e99
--- /dev/null
+++ b/modelchecker/tests/3.vak
@@ -0,0 +1,3 @@
+@
+.
+.

diff --git a/modelchecker/tests/3.val b/modelchecker/tests/3.val
new file mode 100644 (file)
index 0000000..fa2c27f
--- /dev/null
+++ b/modelchecker/tests/3.val
@@ -0,0 +1,3 @@
++
+.
+.

diff --git a/modelchecker/tests/3.vam b/modelchecker/tests/3.vam
new file mode 100644 (file)
index 0000000..766be26
--- /dev/null
+++ b/modelchecker/tests/3.vam
@@ -0,0 +1,3 @@
+.
+@
+.

diff --git a/modelchecker/tests/3.van b/modelchecker/tests/3.van
new file mode 100644 (file)
index 0000000..04ba1a2
--- /dev/null
+++ b/modelchecker/tests/3.van
@@ -0,0 +1,3 @@
+.
++
+.

diff --git a/modelchecker/tests/3.vao b/modelchecker/tests/3.vao
new file mode 100644 (file)
index 0000000..1481406
--- /dev/null
+++ b/modelchecker/tests/3.vao
@@ -0,0 +1,3 @@
+.
+.
+@

diff --git a/modelchecker/tests/3.vap b/modelchecker/tests/3.vap
new file mode 100644 (file)
index 0000000..f14edae
--- /dev/null
+++ b/modelchecker/tests/3.vap
@@ -0,0 +1,3 @@
+.
+.
++

diff --git a/modelchecker/tests/3.vbc b/modelchecker/tests/3.vbc
new file mode 100644 (file)
index 0000000..dd7d12a
--- /dev/null
+++ b/modelchecker/tests/3.vbc
@@ -0,0 +1,3 @@
+@
+.
+ 

diff --git a/modelchecker/tests/3.vbd b/modelchecker/tests/3.vbd
new file mode 100644 (file)
index 0000000..4b8dcb5
--- /dev/null
+++ b/modelchecker/tests/3.vbd
@@ -0,0 +1,3 @@
+@
+ 
+.

diff --git a/modelchecker/tests/3.vbe b/modelchecker/tests/3.vbe
new file mode 100644 (file)
index 0000000..91d31a6
--- /dev/null
+++ b/modelchecker/tests/3.vbe
@@ -0,0 +1,3 @@
++
+.
+ 

diff --git a/modelchecker/tests/3.vbf b/modelchecker/tests/3.vbf
new file mode 100644 (file)
index 0000000..e3a76ef
--- /dev/null
+++ b/modelchecker/tests/3.vbf
@@ -0,0 +1,3 @@
++
+ 
+.

diff --git a/modelchecker/tests/3.vbg b/modelchecker/tests/3.vbg
new file mode 100644 (file)
index 0000000..f846f67
--- /dev/null
+++ b/modelchecker/tests/3.vbg
@@ -0,0 +1,3 @@
+.
+@
+ 

diff --git a/modelchecker/tests/3.vbh b/modelchecker/tests/3.vbh
new file mode 100644 (file)
index 0000000..354871d
--- /dev/null
+++ b/modelchecker/tests/3.vbh
@@ -0,0 +1,3 @@
+ 
+@
+.

diff --git a/modelchecker/tests/3.vbi b/modelchecker/tests/3.vbi
new file mode 100644 (file)
index 0000000..382853e
--- /dev/null
+++ b/modelchecker/tests/3.vbi
@@ -0,0 +1,3 @@
+.
++
+ 

diff --git a/modelchecker/tests/3.vbj b/modelchecker/tests/3.vbj
new file mode 100644 (file)
index 0000000..0742f8f
--- /dev/null
+++ b/modelchecker/tests/3.vbj
@@ -0,0 +1,3 @@
+ 
++
+.

diff --git a/modelchecker/tests/3.vbk b/modelchecker/tests/3.vbk
new file mode 100644 (file)
index 0000000..65ae184
--- /dev/null
+++ b/modelchecker/tests/3.vbk
@@ -0,0 +1,3 @@
+.
+ 
+@

diff --git a/modelchecker/tests/3.vbl b/modelchecker/tests/3.vbl
new file mode 100644 (file)
index 0000000..aece55e
--- /dev/null
+++ b/modelchecker/tests/3.vbl
@@ -0,0 +1,3 @@
+ 
+.
+@

diff --git a/modelchecker/tests/3.vbm b/modelchecker/tests/3.vbm
new file mode 100644 (file)
index 0000000..074693e
--- /dev/null
+++ b/modelchecker/tests/3.vbm
@@ -0,0 +1,3 @@
+.
+ 
++

diff --git a/modelchecker/tests/3.vbn b/modelchecker/tests/3.vbn
new file mode 100644 (file)
index 0000000..3dbcf43
--- /dev/null
+++ b/modelchecker/tests/3.vbn
@@ -0,0 +1,3 @@
+ 
+.
++