From: Mart Lubbers Date: Sun, 17 Apr 2016 17:06:10 +0000 (+0200) Subject: added vertical tests X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=de2efed6d6b801a86b89633ea2bab8b85b91ec56;p=mc1516pa.git added vertical tests --- 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 @@ + +. ++