From de2efed6d6b801a86b89633ea2bab8b85b91ec56 Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Sun, 17 Apr 2016 19:06:10 +0200 Subject: [PATCH] added vertical tests --- modelchecker/tests/1.vaq | 3 +++ modelchecker/tests/1.var | 3 +++ modelchecker/tests/1.vas | 3 +++ modelchecker/tests/1.vat | 3 +++ modelchecker/tests/1.vau | 3 +++ modelchecker/tests/1.vav | 3 +++ modelchecker/tests/1.vaw | 3 +++ modelchecker/tests/1.vax | 3 +++ modelchecker/tests/1.vay | 3 +++ modelchecker/tests/1.vaz | 3 +++ modelchecker/tests/1.vba | 3 +++ modelchecker/tests/1.vbb | 3 +++ modelchecker/tests/1.vbo | 3 +++ modelchecker/tests/1.vbq | 3 +++ modelchecker/tests/1.vbx | 3 +++ modelchecker/tests/1.vbz | 3 +++ modelchecker/tests/1.vca | 3 +++ modelchecker/tests/1.vcc | 3 +++ modelchecker/tests/1.vcj | 3 +++ modelchecker/tests/1.vcl | 3 +++ modelchecker/tests/1.vcm | 3 +++ modelchecker/tests/1.vco | 3 +++ modelchecker/tests/1.vcv | 3 +++ modelchecker/tests/1.vcx | 3 +++ modelchecker/tests/1.vcz | 3 +++ modelchecker/tests/1.vdb | 3 +++ modelchecker/tests/1.vdi | 3 +++ modelchecker/tests/1.vdk | 3 +++ modelchecker/tests/1.vdl | 3 +++ modelchecker/tests/1.vdm | 3 +++ modelchecker/tests/1.vdn | 3 +++ modelchecker/tests/1.vdo | 3 +++ modelchecker/tests/1.vdp | 3 +++ modelchecker/tests/1.vdq | 3 +++ modelchecker/tests/1.vdr | 3 +++ modelchecker/tests/1.vds | 3 +++ modelchecker/tests/1.vdt | 3 +++ modelchecker/tests/1.vdu | 3 +++ modelchecker/tests/1.vdv | 3 +++ modelchecker/tests/1.vdw | 3 +++ modelchecker/tests/2.vbp | 3 +++ modelchecker/tests/2.vbr | 3 +++ modelchecker/tests/2.vbs | 3 +++ modelchecker/tests/2.vbt | 3 +++ modelchecker/tests/2.vbu | 3 +++ modelchecker/tests/2.vbv | 3 +++ modelchecker/tests/2.vbw | 3 +++ modelchecker/tests/2.vby | 3 +++ modelchecker/tests/2.vcb | 3 +++ modelchecker/tests/2.vcd | 3 +++ modelchecker/tests/2.vce | 3 +++ modelchecker/tests/2.vcf | 3 +++ modelchecker/tests/2.vcg | 3 +++ modelchecker/tests/2.vch | 3 +++ modelchecker/tests/2.vci | 3 +++ modelchecker/tests/2.vck | 3 +++ modelchecker/tests/2.vcn | 3 +++ modelchecker/tests/2.vcp | 3 +++ modelchecker/tests/2.vcq | 3 +++ modelchecker/tests/2.vcr | 3 +++ modelchecker/tests/2.vcs | 3 +++ modelchecker/tests/2.vct | 3 +++ modelchecker/tests/2.vcu | 3 +++ modelchecker/tests/2.vcw | 3 +++ modelchecker/tests/2.vda | 3 +++ modelchecker/tests/2.vdc | 3 +++ modelchecker/tests/2.vdd | 3 +++ modelchecker/tests/2.vde | 3 +++ modelchecker/tests/2.vdf | 3 +++ modelchecker/tests/2.vdg | 3 +++ modelchecker/tests/2.vdh | 3 +++ modelchecker/tests/2.vdj | 3 +++ modelchecker/tests/3.vae | 3 +++ modelchecker/tests/3.vaf | 3 +++ modelchecker/tests/3.vag | 3 +++ modelchecker/tests/3.vah | 3 +++ modelchecker/tests/3.vai | 3 +++ modelchecker/tests/3.vaj | 3 +++ modelchecker/tests/3.vak | 3 +++ modelchecker/tests/3.val | 3 +++ modelchecker/tests/3.vam | 3 +++ modelchecker/tests/3.van | 3 +++ modelchecker/tests/3.vao | 3 +++ modelchecker/tests/3.vap | 3 +++ modelchecker/tests/3.vbc | 3 +++ modelchecker/tests/3.vbd | 3 +++ modelchecker/tests/3.vbe | 3 +++ modelchecker/tests/3.vbf | 3 +++ modelchecker/tests/3.vbg | 3 +++ modelchecker/tests/3.vbh | 3 +++ modelchecker/tests/3.vbi | 3 +++ modelchecker/tests/3.vbj | 3 +++ modelchecker/tests/3.vbk | 3 +++ modelchecker/tests/3.vbl | 3 +++ modelchecker/tests/3.vbm | 3 +++ modelchecker/tests/3.vbn | 3 +++ 96 files changed, 288 insertions(+) create mode 100644 modelchecker/tests/1.vaq create mode 100644 modelchecker/tests/1.var create mode 100644 modelchecker/tests/1.vas create mode 100644 modelchecker/tests/1.vat create mode 100644 modelchecker/tests/1.vau create mode 100644 modelchecker/tests/1.vav create mode 100644 modelchecker/tests/1.vaw create mode 100644 modelchecker/tests/1.vax create mode 100644 modelchecker/tests/1.vay create mode 100644 modelchecker/tests/1.vaz create mode 100644 modelchecker/tests/1.vba create mode 100644 modelchecker/tests/1.vbb create mode 100644 modelchecker/tests/1.vbo create mode 100644 modelchecker/tests/1.vbq create mode 100644 modelchecker/tests/1.vbx create mode 100644 modelchecker/tests/1.vbz create mode 100644 modelchecker/tests/1.vca create mode 100644 modelchecker/tests/1.vcc create mode 100644 modelchecker/tests/1.vcj create mode 100644 modelchecker/tests/1.vcl create mode 100644 modelchecker/tests/1.vcm create mode 100644 modelchecker/tests/1.vco create mode 100644 modelchecker/tests/1.vcv create mode 100644 modelchecker/tests/1.vcx create mode 100644 modelchecker/tests/1.vcz create mode 100644 modelchecker/tests/1.vdb create mode 100644 modelchecker/tests/1.vdi create mode 100644 modelchecker/tests/1.vdk create mode 100644 modelchecker/tests/1.vdl create mode 100644 modelchecker/tests/1.vdm create mode 100644 modelchecker/tests/1.vdn create mode 100644 modelchecker/tests/1.vdo create mode 100644 modelchecker/tests/1.vdp create mode 100644 modelchecker/tests/1.vdq create mode 100644 modelchecker/tests/1.vdr create mode 100644 modelchecker/tests/1.vds create mode 100644 modelchecker/tests/1.vdt create mode 100644 modelchecker/tests/1.vdu create mode 100644 modelchecker/tests/1.vdv create mode 100644 modelchecker/tests/1.vdw create mode 100644 modelchecker/tests/2.vbp create mode 100644 modelchecker/tests/2.vbr create mode 100644 modelchecker/tests/2.vbs create mode 100644 modelchecker/tests/2.vbt create mode 100644 modelchecker/tests/2.vbu create mode 100644 modelchecker/tests/2.vbv create mode 100644 modelchecker/tests/2.vbw create mode 100644 modelchecker/tests/2.vby create mode 100644 modelchecker/tests/2.vcb create mode 100644 modelchecker/tests/2.vcd create mode 100644 modelchecker/tests/2.vce create mode 100644 modelchecker/tests/2.vcf create mode 100644 modelchecker/tests/2.vcg create mode 100644 modelchecker/tests/2.vch create mode 100644 modelchecker/tests/2.vci create mode 100644 modelchecker/tests/2.vck create mode 100644 modelchecker/tests/2.vcn create mode 100644 modelchecker/tests/2.vcp create mode 100644 modelchecker/tests/2.vcq create mode 100644 modelchecker/tests/2.vcr create mode 100644 modelchecker/tests/2.vcs create mode 100644 modelchecker/tests/2.vct create mode 100644 modelchecker/tests/2.vcu create mode 100644 modelchecker/tests/2.vcw create mode 100644 modelchecker/tests/2.vda create mode 100644 modelchecker/tests/2.vdc create mode 100644 modelchecker/tests/2.vdd create mode 100644 modelchecker/tests/2.vde create mode 100644 modelchecker/tests/2.vdf create mode 100644 modelchecker/tests/2.vdg create mode 100644 modelchecker/tests/2.vdh create mode 100644 modelchecker/tests/2.vdj create mode 100644 modelchecker/tests/3.vae create mode 100644 modelchecker/tests/3.vaf create mode 100644 modelchecker/tests/3.vag create mode 100644 modelchecker/tests/3.vah create mode 100644 modelchecker/tests/3.vai create mode 100644 modelchecker/tests/3.vaj create mode 100644 modelchecker/tests/3.vak create mode 100644 modelchecker/tests/3.val create mode 100644 modelchecker/tests/3.vam create mode 100644 modelchecker/tests/3.van create mode 100644 modelchecker/tests/3.vao create mode 100644 modelchecker/tests/3.vap create mode 100644 modelchecker/tests/3.vbc create mode 100644 modelchecker/tests/3.vbd create mode 100644 modelchecker/tests/3.vbe create mode 100644 modelchecker/tests/3.vbf create mode 100644 modelchecker/tests/3.vbg create mode 100644 modelchecker/tests/3.vbh create mode 100644 modelchecker/tests/3.vbi create mode 100644 modelchecker/tests/3.vbj create mode 100644 modelchecker/tests/3.vbk create mode 100644 modelchecker/tests/3.vbl create mode 100644 modelchecker/tests/3.vbm create mode 100644 modelchecker/tests/3.vbn diff --git a/modelchecker/tests/1.vaq b/modelchecker/tests/1.vaq new file mode 100644 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 index 0000000..3dbcf43 --- /dev/null +++ b/modelchecker/tests/3.vbn @@ -0,0 +1,3 @@ + +. ++ -- 2.20.1