From ee9cbf3487001aceee2a3833d08667fffaa432ac Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Tue, 19 Apr 2016 19:58:43 +0200 Subject: [PATCH] fix tests --- modelchecker/tests/1.ae | 2 - modelchecker/tests/1.af | 2 - modelchecker/tests/1.ag | 2 - modelchecker/tests/1.ah | 2 - modelchecker/tests/1.aq | 1 - modelchecker/tests/1.ar | 1 - modelchecker/tests/1.as | 1 - modelchecker/tests/1.at | 1 - modelchecker/tests/1.au | 1 - modelchecker/tests/1.av | 1 - modelchecker/tests/1.aw | 1 - modelchecker/tests/1.ax | 1 - modelchecker/tests/1.ay | 1 - modelchecker/tests/1.az | 1 - modelchecker/tests/1.b | 1 - modelchecker/tests/1.ba | 2 +- modelchecker/tests/1.bb | 1 - modelchecker/tests/1.dl | 1 - modelchecker/tests/1.dm | 1 - modelchecker/tests/1.dn | 1 - modelchecker/tests/1.do | 1 - modelchecker/tests/1.dp | 1 - modelchecker/tests/1.dq | 1 - modelchecker/tests/1.dr | 1 - modelchecker/tests/1.ds | 1 - modelchecker/tests/1.dt | 1 - modelchecker/tests/1.du | 1 - modelchecker/tests/1.dv | 1 - modelchecker/tests/1.dw | 1 - modelchecker/tests/1.g | 1 - modelchecker/tests/1.h | 1 - modelchecker/tests/1.i | 1 - modelchecker/tests/1.j | 1 - modelchecker/tests/1.p | 2 - modelchecker/tests/1.q | 2 - modelchecker/tests/1.r | 2 - 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.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/1.w | 1 - modelchecker/tests/1.x | 1 - modelchecker/tests/1.y | 1 - modelchecker/tests/1.z | 1 - modelchecker/tests/2.aa | 2 - modelchecker/tests/2.ab | 2 - modelchecker/tests/2.ac | 2 - modelchecker/tests/2.ad | 2 - modelchecker/tests/2.bo | 1 - modelchecker/tests/2.bp | 1 - modelchecker/tests/2.bq | 1 - modelchecker/tests/2.br | 1 - modelchecker/tests/2.bs | 1 - modelchecker/tests/2.bt | 1 - modelchecker/tests/2.bu | 1 - modelchecker/tests/2.bv | 1 - modelchecker/tests/2.bw | 1 - modelchecker/tests/2.bx | 1 - modelchecker/tests/2.by | 1 - modelchecker/tests/2.bz | 1 - modelchecker/tests/2.c | 1 - modelchecker/tests/2.ca | 1 - modelchecker/tests/2.cb | 1 - modelchecker/tests/2.cc | 1 - modelchecker/tests/2.cd | 1 - modelchecker/tests/2.ce | 1 - modelchecker/tests/2.cf | 1 - modelchecker/tests/2.cg | 1 - modelchecker/tests/2.ch | 1 - modelchecker/tests/2.ci | 1 - modelchecker/tests/2.cj | 1 - modelchecker/tests/2.ck | 1 - modelchecker/tests/2.cl | 1 - modelchecker/tests/2.cm | 1 - modelchecker/tests/2.cn | 1 - modelchecker/tests/2.co | 1 - modelchecker/tests/2.cp | 1 - modelchecker/tests/2.cq | 1 - modelchecker/tests/2.cr | 1 - modelchecker/tests/2.cs | 1 - modelchecker/tests/2.ct | 1 - modelchecker/tests/2.cu | 1 - modelchecker/tests/2.cv | 1 - modelchecker/tests/2.cw | 1 - modelchecker/tests/2.cx | 1 - modelchecker/tests/2.cz | 1 - modelchecker/tests/2.d | 1 - modelchecker/tests/2.da | 1 - modelchecker/tests/2.db | 1 - modelchecker/tests/2.dc | 1 - modelchecker/tests/2.dd | 1 - modelchecker/tests/2.de | 1 - modelchecker/tests/2.df | 1 - modelchecker/tests/2.dg | 1 - modelchecker/tests/2.dh | 1 - modelchecker/tests/2.di | 1 - modelchecker/tests/2.dj | 1 - modelchecker/tests/2.dk | 1 - modelchecker/tests/2.e | 1 - modelchecker/tests/2.f | 1 - modelchecker/tests/2.k | 2 - modelchecker/tests/2.l | 2 - modelchecker/tests/2.m | 2 - modelchecker/tests/2.n | 2 - modelchecker/tests/2.s | 1 - modelchecker/tests/2.t | 1 - modelchecker/tests/2.u | 1 - modelchecker/tests/2.v | 1 - modelchecker/tests/2.vbo | 3 - modelchecker/tests/2.vbp | 3 - modelchecker/tests/2.vbq | 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.vbx | 3 - modelchecker/tests/2.vby | 3 - modelchecker/tests/2.vbz | 3 - modelchecker/tests/2.vca | 3 - modelchecker/tests/2.vcb | 3 - modelchecker/tests/2.vcc | 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.vcj | 3 - modelchecker/tests/2.vck | 3 - modelchecker/tests/2.vcl | 3 - modelchecker/tests/2.vcm | 3 - modelchecker/tests/2.vcn | 3 - modelchecker/tests/2.vco | 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.vcv | 3 - modelchecker/tests/2.vcw | 3 - modelchecker/tests/2.vcx | 3 - modelchecker/tests/2.vcz | 3 - modelchecker/tests/2.vda | 3 - modelchecker/tests/2.vdb | 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.vdi | 3 - modelchecker/tests/2.vdj | 3 - modelchecker/tests/2.vdk | 3 - modelchecker/tests/3.ae | 1 - modelchecker/tests/3.af | 1 - modelchecker/tests/3.ag | 1 - modelchecker/tests/3.ah | 1 - modelchecker/tests/3.ai | 1 - modelchecker/tests/3.aj | 1 - modelchecker/tests/3.ak | 1 - modelchecker/tests/3.al | 1 - modelchecker/tests/3.am | 1 - modelchecker/tests/3.an | 1 - modelchecker/tests/3.ao | 1 - modelchecker/tests/3.ap | 1 - modelchecker/tests/3.bc | 1 - modelchecker/tests/3.bd | 1 - modelchecker/tests/3.be | 1 - modelchecker/tests/3.bf | 1 - modelchecker/tests/3.bg | 1 - modelchecker/tests/3.bh | 1 - modelchecker/tests/3.bi | 1 - modelchecker/tests/3.bj | 1 - modelchecker/tests/3.bk | 1 - modelchecker/tests/3.bl | 1 - modelchecker/tests/3.bm | 1 - modelchecker/tests/3.bn | 1 - 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 - modelchecker/tests/generate_tests.sh | 181 +++++++++++++++++++++++++++ 225 files changed, 182 insertions(+), 431 deletions(-) delete mode 100644 modelchecker/tests/1.ae delete mode 100644 modelchecker/tests/1.af delete mode 100644 modelchecker/tests/1.ag delete mode 100644 modelchecker/tests/1.ah delete mode 100644 modelchecker/tests/1.aq delete mode 100644 modelchecker/tests/1.ar delete mode 100644 modelchecker/tests/1.as delete mode 100644 modelchecker/tests/1.at delete mode 100644 modelchecker/tests/1.au delete mode 100644 modelchecker/tests/1.av delete mode 100644 modelchecker/tests/1.aw delete mode 100644 modelchecker/tests/1.ax delete mode 100644 modelchecker/tests/1.ay delete mode 100644 modelchecker/tests/1.az delete mode 100644 modelchecker/tests/1.b delete mode 100644 modelchecker/tests/1.bb delete mode 100644 modelchecker/tests/1.dl delete mode 100644 modelchecker/tests/1.dm delete mode 100644 modelchecker/tests/1.dn delete mode 100644 modelchecker/tests/1.do delete mode 100644 modelchecker/tests/1.dp delete mode 100644 modelchecker/tests/1.dq delete mode 100644 modelchecker/tests/1.dr delete mode 100644 modelchecker/tests/1.ds delete mode 100644 modelchecker/tests/1.dt delete mode 100644 modelchecker/tests/1.du delete mode 100644 modelchecker/tests/1.dv delete mode 100644 modelchecker/tests/1.dw delete mode 100644 modelchecker/tests/1.g delete mode 100644 modelchecker/tests/1.h delete mode 100644 modelchecker/tests/1.i delete mode 100644 modelchecker/tests/1.j delete mode 100644 modelchecker/tests/1.p delete mode 100644 modelchecker/tests/1.q delete mode 100644 modelchecker/tests/1.r delete mode 100644 modelchecker/tests/1.vaq delete mode 100644 modelchecker/tests/1.var delete mode 100644 modelchecker/tests/1.vas delete mode 100644 modelchecker/tests/1.vat delete mode 100644 modelchecker/tests/1.vau delete mode 100644 modelchecker/tests/1.vav delete mode 100644 modelchecker/tests/1.vaw delete mode 100644 modelchecker/tests/1.vax delete mode 100644 modelchecker/tests/1.vay delete mode 100644 modelchecker/tests/1.vaz delete mode 100644 modelchecker/tests/1.vba delete mode 100644 modelchecker/tests/1.vbb delete mode 100644 modelchecker/tests/1.vdl delete mode 100644 modelchecker/tests/1.vdm delete mode 100644 modelchecker/tests/1.vdn delete mode 100644 modelchecker/tests/1.vdo delete mode 100644 modelchecker/tests/1.vdp delete mode 100644 modelchecker/tests/1.vdq delete mode 100644 modelchecker/tests/1.vdr delete mode 100644 modelchecker/tests/1.vds delete mode 100644 modelchecker/tests/1.vdt delete mode 100644 modelchecker/tests/1.vdu delete mode 100644 modelchecker/tests/1.vdv delete mode 100644 modelchecker/tests/1.vdw delete mode 100644 modelchecker/tests/1.w delete mode 100644 modelchecker/tests/1.x delete mode 100644 modelchecker/tests/1.y delete mode 100644 modelchecker/tests/1.z delete mode 100644 modelchecker/tests/2.aa delete mode 100644 modelchecker/tests/2.ab delete mode 100644 modelchecker/tests/2.ac delete mode 100644 modelchecker/tests/2.ad delete mode 100644 modelchecker/tests/2.bo delete mode 100644 modelchecker/tests/2.bp delete mode 100644 modelchecker/tests/2.bq delete mode 100644 modelchecker/tests/2.br delete mode 100644 modelchecker/tests/2.bs delete mode 100644 modelchecker/tests/2.bt delete mode 100644 modelchecker/tests/2.bu delete mode 100644 modelchecker/tests/2.bv delete mode 100644 modelchecker/tests/2.bw delete mode 100644 modelchecker/tests/2.bx delete mode 100644 modelchecker/tests/2.by delete mode 100644 modelchecker/tests/2.bz delete mode 100644 modelchecker/tests/2.c delete mode 100644 modelchecker/tests/2.ca delete mode 100644 modelchecker/tests/2.cb delete mode 100644 modelchecker/tests/2.cc delete mode 100644 modelchecker/tests/2.cd delete mode 100644 modelchecker/tests/2.ce delete mode 100644 modelchecker/tests/2.cf delete mode 100644 modelchecker/tests/2.cg delete mode 100644 modelchecker/tests/2.ch delete mode 100644 modelchecker/tests/2.ci delete mode 100644 modelchecker/tests/2.cj delete mode 100644 modelchecker/tests/2.ck delete mode 100644 modelchecker/tests/2.cl delete mode 100644 modelchecker/tests/2.cm delete mode 100644 modelchecker/tests/2.cn delete mode 100644 modelchecker/tests/2.co delete mode 100644 modelchecker/tests/2.cp delete mode 100644 modelchecker/tests/2.cq delete mode 100644 modelchecker/tests/2.cr delete mode 100644 modelchecker/tests/2.cs delete mode 100644 modelchecker/tests/2.ct delete mode 100644 modelchecker/tests/2.cu delete mode 100644 modelchecker/tests/2.cv delete mode 100644 modelchecker/tests/2.cw delete mode 100644 modelchecker/tests/2.cx delete mode 100644 modelchecker/tests/2.cz delete mode 100644 modelchecker/tests/2.d delete mode 100644 modelchecker/tests/2.da delete mode 100644 modelchecker/tests/2.db delete mode 100644 modelchecker/tests/2.dc delete mode 100644 modelchecker/tests/2.dd delete mode 100644 modelchecker/tests/2.de delete mode 100644 modelchecker/tests/2.df delete mode 100644 modelchecker/tests/2.dg delete mode 100644 modelchecker/tests/2.dh delete mode 100644 modelchecker/tests/2.di delete mode 100644 modelchecker/tests/2.dj delete mode 100644 modelchecker/tests/2.dk delete mode 100644 modelchecker/tests/2.e delete mode 100644 modelchecker/tests/2.f delete mode 100644 modelchecker/tests/2.k delete mode 100644 modelchecker/tests/2.l delete mode 100644 modelchecker/tests/2.m delete mode 100644 modelchecker/tests/2.n delete mode 100644 modelchecker/tests/2.s delete mode 100644 modelchecker/tests/2.t delete mode 100644 modelchecker/tests/2.u delete mode 100644 modelchecker/tests/2.v delete mode 100644 modelchecker/tests/2.vbo delete mode 100644 modelchecker/tests/2.vbp delete mode 100644 modelchecker/tests/2.vbq delete mode 100644 modelchecker/tests/2.vbr delete mode 100644 modelchecker/tests/2.vbs delete mode 100644 modelchecker/tests/2.vbt delete mode 100644 modelchecker/tests/2.vbu delete mode 100644 modelchecker/tests/2.vbv delete mode 100644 modelchecker/tests/2.vbw delete mode 100644 modelchecker/tests/2.vbx delete mode 100644 modelchecker/tests/2.vby delete mode 100644 modelchecker/tests/2.vbz delete mode 100644 modelchecker/tests/2.vca delete mode 100644 modelchecker/tests/2.vcb delete mode 100644 modelchecker/tests/2.vcc delete mode 100644 modelchecker/tests/2.vcd delete mode 100644 modelchecker/tests/2.vce delete mode 100644 modelchecker/tests/2.vcf delete mode 100644 modelchecker/tests/2.vcg delete mode 100644 modelchecker/tests/2.vch delete mode 100644 modelchecker/tests/2.vci delete mode 100644 modelchecker/tests/2.vcj delete mode 100644 modelchecker/tests/2.vck delete mode 100644 modelchecker/tests/2.vcl delete mode 100644 modelchecker/tests/2.vcm delete mode 100644 modelchecker/tests/2.vcn delete mode 100644 modelchecker/tests/2.vco delete mode 100644 modelchecker/tests/2.vcp delete mode 100644 modelchecker/tests/2.vcq delete mode 100644 modelchecker/tests/2.vcr delete mode 100644 modelchecker/tests/2.vcs delete mode 100644 modelchecker/tests/2.vct delete mode 100644 modelchecker/tests/2.vcu delete mode 100644 modelchecker/tests/2.vcv delete mode 100644 modelchecker/tests/2.vcw delete mode 100644 modelchecker/tests/2.vcx delete mode 100644 modelchecker/tests/2.vcz delete mode 100644 modelchecker/tests/2.vda delete mode 100644 modelchecker/tests/2.vdb delete mode 100644 modelchecker/tests/2.vdc delete mode 100644 modelchecker/tests/2.vdd delete mode 100644 modelchecker/tests/2.vde delete mode 100644 modelchecker/tests/2.vdf delete mode 100644 modelchecker/tests/2.vdg delete mode 100644 modelchecker/tests/2.vdh delete mode 100644 modelchecker/tests/2.vdi delete mode 100644 modelchecker/tests/2.vdj delete mode 100644 modelchecker/tests/2.vdk delete mode 100644 modelchecker/tests/3.ae delete mode 100644 modelchecker/tests/3.af delete mode 100644 modelchecker/tests/3.ag delete mode 100644 modelchecker/tests/3.ah delete mode 100644 modelchecker/tests/3.ai delete mode 100644 modelchecker/tests/3.aj delete mode 100644 modelchecker/tests/3.ak delete mode 100644 modelchecker/tests/3.al delete mode 100644 modelchecker/tests/3.am delete mode 100644 modelchecker/tests/3.an delete mode 100644 modelchecker/tests/3.ao delete mode 100644 modelchecker/tests/3.ap delete mode 100644 modelchecker/tests/3.bc delete mode 100644 modelchecker/tests/3.bd delete mode 100644 modelchecker/tests/3.be delete mode 100644 modelchecker/tests/3.bf delete mode 100644 modelchecker/tests/3.bg delete mode 100644 modelchecker/tests/3.bh delete mode 100644 modelchecker/tests/3.bi delete mode 100644 modelchecker/tests/3.bj delete mode 100644 modelchecker/tests/3.bk delete mode 100644 modelchecker/tests/3.bl delete mode 100644 modelchecker/tests/3.bm delete mode 100644 modelchecker/tests/3.bn delete mode 100644 modelchecker/tests/3.vae delete mode 100644 modelchecker/tests/3.vaf delete mode 100644 modelchecker/tests/3.vag delete mode 100644 modelchecker/tests/3.vah delete mode 100644 modelchecker/tests/3.vai delete mode 100644 modelchecker/tests/3.vaj delete mode 100644 modelchecker/tests/3.vak delete mode 100644 modelchecker/tests/3.val delete mode 100644 modelchecker/tests/3.vam delete mode 100644 modelchecker/tests/3.van delete mode 100644 modelchecker/tests/3.vao delete mode 100644 modelchecker/tests/3.vap delete mode 100644 modelchecker/tests/3.vbc delete mode 100644 modelchecker/tests/3.vbd delete mode 100644 modelchecker/tests/3.vbe delete mode 100644 modelchecker/tests/3.vbf delete mode 100644 modelchecker/tests/3.vbg delete mode 100644 modelchecker/tests/3.vbh delete mode 100644 modelchecker/tests/3.vbi delete mode 100644 modelchecker/tests/3.vbj delete mode 100644 modelchecker/tests/3.vbk delete mode 100644 modelchecker/tests/3.vbl delete mode 100644 modelchecker/tests/3.vbm delete mode 100644 modelchecker/tests/3.vbn create mode 100755 modelchecker/tests/generate_tests.sh diff --git a/modelchecker/tests/1.ae b/modelchecker/tests/1.ae deleted file mode 100644 index 4092a4b..0000000 --- a/modelchecker/tests/1.ae +++ /dev/null @@ -1,2 +0,0 @@ -$ -@ diff --git a/modelchecker/tests/1.af b/modelchecker/tests/1.af deleted file mode 100644 index 0616932..0000000 --- a/modelchecker/tests/1.af +++ /dev/null @@ -1,2 +0,0 @@ -+ -$ diff --git a/modelchecker/tests/1.ag b/modelchecker/tests/1.ag deleted file mode 100644 index 32c2eda..0000000 --- a/modelchecker/tests/1.ag +++ /dev/null @@ -1,2 +0,0 @@ -* -@ diff --git a/modelchecker/tests/1.ah b/modelchecker/tests/1.ah deleted file mode 100644 index efebaa7..0000000 --- a/modelchecker/tests/1.ah +++ /dev/null @@ -1,2 +0,0 @@ -+ -* diff --git a/modelchecker/tests/1.aq b/modelchecker/tests/1.aq deleted file mode 100644 index 030097c..0000000 --- a/modelchecker/tests/1.aq +++ /dev/null @@ -1 +0,0 @@ -@15128 diff --git a/modelchecker/tests/1.ar b/modelchecker/tests/1.ar deleted file mode 100644 index 670ac56..0000000 --- a/modelchecker/tests/1.ar +++ /dev/null @@ -1 +0,0 @@ -+15128 diff --git a/modelchecker/tests/1.as b/modelchecker/tests/1.as deleted file mode 100644 index 857f13a..0000000 --- a/modelchecker/tests/1.as +++ /dev/null @@ -1 +0,0 @@ -$ diff --git a/modelchecker/tests/1.at b/modelchecker/tests/1.at deleted file mode 100644 index dd17080..0000000 --- a/modelchecker/tests/1.at +++ /dev/null @@ -1 +0,0 @@ -$+$ diff --git a/modelchecker/tests/1.au b/modelchecker/tests/1.au deleted file mode 100644 index 9d1d9d3..0000000 --- a/modelchecker/tests/1.au +++ /dev/null @@ -1 +0,0 @@ -15128@ diff --git a/modelchecker/tests/1.av b/modelchecker/tests/1.av deleted file mode 100644 index 455102c..0000000 --- a/modelchecker/tests/1.av +++ /dev/null @@ -1 +0,0 @@ -15128+ diff --git a/modelchecker/tests/1.aw b/modelchecker/tests/1.aw deleted file mode 100644 index d27d6a3..0000000 --- a/modelchecker/tests/1.aw +++ /dev/null @@ -1 +0,0 @@ -@** diff --git a/modelchecker/tests/1.ax b/modelchecker/tests/1.ax deleted file mode 100644 index 25e4d31..0000000 --- a/modelchecker/tests/1.ax +++ /dev/null @@ -1 +0,0 @@ -+** diff --git a/modelchecker/tests/1.ay b/modelchecker/tests/1.ay deleted file mode 100644 index b9b5457..0000000 --- a/modelchecker/tests/1.ay +++ /dev/null @@ -1 +0,0 @@ -*@* diff --git a/modelchecker/tests/1.az b/modelchecker/tests/1.az deleted file mode 100644 index 950af9e..0000000 --- a/modelchecker/tests/1.az +++ /dev/null @@ -1 +0,0 @@ -*+* diff --git a/modelchecker/tests/1.b b/modelchecker/tests/1.b deleted file mode 100644 index fd38861..0000000 --- a/modelchecker/tests/1.b +++ /dev/null @@ -1 +0,0 @@ -+ diff --git a/modelchecker/tests/1.ba b/modelchecker/tests/1.ba index e2f2a3d..f4014e8 100644 --- a/modelchecker/tests/1.ba +++ b/modelchecker/tests/1.ba @@ -1 +1 @@ -**@ +\$@ diff --git a/modelchecker/tests/1.bb b/modelchecker/tests/1.bb deleted file mode 100644 index b59d6de..0000000 --- a/modelchecker/tests/1.bb +++ /dev/null @@ -1 +0,0 @@ -**+ diff --git a/modelchecker/tests/1.dl b/modelchecker/tests/1.dl deleted file mode 100644 index 7770a88..0000000 --- a/modelchecker/tests/1.dl +++ /dev/null @@ -1 +0,0 @@ -@*$ diff --git a/modelchecker/tests/1.dm b/modelchecker/tests/1.dm deleted file mode 100644 index 59c227c..0000000 --- a/modelchecker/tests/1.dm +++ /dev/null @@ -1 +0,0 @@ -@ diff --git a/modelchecker/tests/1.dn b/modelchecker/tests/1.dn deleted file mode 100644 index 07ff770..0000000 --- a/modelchecker/tests/1.dn +++ /dev/null @@ -1 +0,0 @@ -+*$ diff --git a/modelchecker/tests/1.do b/modelchecker/tests/1.do deleted file mode 100644 index fd38861..0000000 --- a/modelchecker/tests/1.do +++ /dev/null @@ -1 +0,0 @@ -+ diff --git a/modelchecker/tests/1.dp b/modelchecker/tests/1.dp deleted file mode 100644 index 1541089..0000000 --- a/modelchecker/tests/1.dp +++ /dev/null @@ -1 +0,0 @@ -*@$ diff --git a/modelchecker/tests/1.dq b/modelchecker/tests/1.dq deleted file mode 100644 index 72e8ffc..0000000 --- a/modelchecker/tests/1.dq +++ /dev/null @@ -1 +0,0 @@ -* diff --git a/modelchecker/tests/1.dr b/modelchecker/tests/1.dr deleted file mode 100644 index 4e6bf62..0000000 --- a/modelchecker/tests/1.dr +++ /dev/null @@ -1 +0,0 @@ -*+$ diff --git a/modelchecker/tests/1.ds b/modelchecker/tests/1.ds deleted file mode 100644 index 565135c..0000000 --- a/modelchecker/tests/1.ds +++ /dev/null @@ -1 +0,0 @@ -$+* diff --git a/modelchecker/tests/1.dt b/modelchecker/tests/1.dt deleted file mode 100644 index 72e8ffc..0000000 --- a/modelchecker/tests/1.dt +++ /dev/null @@ -1 +0,0 @@ -* diff --git a/modelchecker/tests/1.du b/modelchecker/tests/1.du deleted file mode 100644 index 59c227c..0000000 --- a/modelchecker/tests/1.du +++ /dev/null @@ -1 +0,0 @@ -@ diff --git a/modelchecker/tests/1.dv b/modelchecker/tests/1.dv deleted file mode 100644 index 0e9172d..0000000 --- a/modelchecker/tests/1.dv +++ /dev/null @@ -1 +0,0 @@ -*$+ diff --git a/modelchecker/tests/1.dw b/modelchecker/tests/1.dw deleted file mode 100644 index fd38861..0000000 --- a/modelchecker/tests/1.dw +++ /dev/null @@ -1 +0,0 @@ -+ diff --git a/modelchecker/tests/1.g b/modelchecker/tests/1.g deleted file mode 100644 index 17f5205..0000000 --- a/modelchecker/tests/1.g +++ /dev/null @@ -1 +0,0 @@ -@$ diff --git a/modelchecker/tests/1.h b/modelchecker/tests/1.h deleted file mode 100644 index 0f36bec..0000000 --- a/modelchecker/tests/1.h +++ /dev/null @@ -1 +0,0 @@ -+$ diff --git a/modelchecker/tests/1.i b/modelchecker/tests/1.i deleted file mode 100644 index 90c254d..0000000 --- a/modelchecker/tests/1.i +++ /dev/null @@ -1 +0,0 @@ -@* diff --git a/modelchecker/tests/1.j b/modelchecker/tests/1.j deleted file mode 100644 index 1b4d99a..0000000 --- a/modelchecker/tests/1.j +++ /dev/null @@ -1 +0,0 @@ -+* diff --git a/modelchecker/tests/1.p b/modelchecker/tests/1.p deleted file mode 100644 index 0616932..0000000 --- a/modelchecker/tests/1.p +++ /dev/null @@ -1,2 +0,0 @@ -+ -$ diff --git a/modelchecker/tests/1.q b/modelchecker/tests/1.q deleted file mode 100644 index aba1deb..0000000 --- a/modelchecker/tests/1.q +++ /dev/null @@ -1,2 +0,0 @@ -@ -* diff --git a/modelchecker/tests/1.r b/modelchecker/tests/1.r deleted file mode 100644 index efebaa7..0000000 --- a/modelchecker/tests/1.r +++ /dev/null @@ -1,2 +0,0 @@ -+ -* diff --git a/modelchecker/tests/1.vaq b/modelchecker/tests/1.vaq deleted file mode 100644 index 8120701..0000000 --- a/modelchecker/tests/1.vaq +++ /dev/null @@ -1,3 +0,0 @@ -@ -$ -$ diff --git a/modelchecker/tests/1.var b/modelchecker/tests/1.var deleted file mode 100644 index f8665a2..0000000 --- a/modelchecker/tests/1.var +++ /dev/null @@ -1,3 +0,0 @@ -+ -$ -$ diff --git a/modelchecker/tests/1.vas b/modelchecker/tests/1.vas deleted file mode 100644 index 7dc8c7c..0000000 --- a/modelchecker/tests/1.vas +++ /dev/null @@ -1,3 +0,0 @@ -$ -@ -$ diff --git a/modelchecker/tests/1.vat b/modelchecker/tests/1.vat deleted file mode 100644 index 4cb0559..0000000 --- a/modelchecker/tests/1.vat +++ /dev/null @@ -1,3 +0,0 @@ -$ -+ -$ diff --git a/modelchecker/tests/1.vau b/modelchecker/tests/1.vau deleted file mode 100644 index 86b0565..0000000 --- a/modelchecker/tests/1.vau +++ /dev/null @@ -1,3 +0,0 @@ -$ -$ -@ diff --git a/modelchecker/tests/1.vav b/modelchecker/tests/1.vav deleted file mode 100644 index b9262e3..0000000 --- a/modelchecker/tests/1.vav +++ /dev/null @@ -1,3 +0,0 @@ -$ -$ -+ diff --git a/modelchecker/tests/1.vaw b/modelchecker/tests/1.vaw deleted file mode 100644 index b17e295..0000000 --- a/modelchecker/tests/1.vaw +++ /dev/null @@ -1,3 +0,0 @@ -@ -* -* diff --git a/modelchecker/tests/1.vax b/modelchecker/tests/1.vax deleted file mode 100644 index baa8df6..0000000 --- a/modelchecker/tests/1.vax +++ /dev/null @@ -1,3 +0,0 @@ -+ -* -* diff --git a/modelchecker/tests/1.vay b/modelchecker/tests/1.vay deleted file mode 100644 index 898bc73..0000000 --- a/modelchecker/tests/1.vay +++ /dev/null @@ -1,3 +0,0 @@ -* -@ -* diff --git a/modelchecker/tests/1.vaz b/modelchecker/tests/1.vaz deleted file mode 100644 index c264087..0000000 --- a/modelchecker/tests/1.vaz +++ /dev/null @@ -1,3 +0,0 @@ -* -+ -* diff --git a/modelchecker/tests/1.vba b/modelchecker/tests/1.vba deleted file mode 100644 index 1bf033f..0000000 --- a/modelchecker/tests/1.vba +++ /dev/null @@ -1,3 +0,0 @@ -* -* -@ diff --git a/modelchecker/tests/1.vbb b/modelchecker/tests/1.vbb deleted file mode 100644 index 839d009..0000000 --- a/modelchecker/tests/1.vbb +++ /dev/null @@ -1,3 +0,0 @@ -* -* -+ diff --git a/modelchecker/tests/1.vdl b/modelchecker/tests/1.vdl deleted file mode 100644 index 478e2f6..0000000 --- a/modelchecker/tests/1.vdl +++ /dev/null @@ -1,3 +0,0 @@ -@ -* -$ diff --git a/modelchecker/tests/1.vdm b/modelchecker/tests/1.vdm deleted file mode 100644 index 2021dcc..0000000 --- a/modelchecker/tests/1.vdm +++ /dev/null @@ -1,3 +0,0 @@ -@ -$ -* diff --git a/modelchecker/tests/1.vdn b/modelchecker/tests/1.vdn deleted file mode 100644 index 89d0349..0000000 --- a/modelchecker/tests/1.vdn +++ /dev/null @@ -1,3 +0,0 @@ -+ -* -$ diff --git a/modelchecker/tests/1.vdo b/modelchecker/tests/1.vdo deleted file mode 100644 index a2f0016..0000000 --- a/modelchecker/tests/1.vdo +++ /dev/null @@ -1,3 +0,0 @@ -+ -$ -* diff --git a/modelchecker/tests/1.vdp b/modelchecker/tests/1.vdp deleted file mode 100644 index 16ba0a6..0000000 --- a/modelchecker/tests/1.vdp +++ /dev/null @@ -1,3 +0,0 @@ -* -@ -$ diff --git a/modelchecker/tests/1.vdq b/modelchecker/tests/1.vdq deleted file mode 100644 index 8ee2519..0000000 --- a/modelchecker/tests/1.vdq +++ /dev/null @@ -1,3 +0,0 @@ -$ -@ -* diff --git a/modelchecker/tests/1.vdr b/modelchecker/tests/1.vdr deleted file mode 100644 index fca059e..0000000 --- a/modelchecker/tests/1.vdr +++ /dev/null @@ -1,3 +0,0 @@ -* -+ -$ diff --git a/modelchecker/tests/1.vds b/modelchecker/tests/1.vds deleted file mode 100644 index ecfe626..0000000 --- a/modelchecker/tests/1.vds +++ /dev/null @@ -1,3 +0,0 @@ -$ -+ -* diff --git a/modelchecker/tests/1.vdt b/modelchecker/tests/1.vdt deleted file mode 100644 index c195531..0000000 --- a/modelchecker/tests/1.vdt +++ /dev/null @@ -1,3 +0,0 @@ -* -$ -@ diff --git a/modelchecker/tests/1.vdu b/modelchecker/tests/1.vdu deleted file mode 100644 index efc1720..0000000 --- a/modelchecker/tests/1.vdu +++ /dev/null @@ -1,3 +0,0 @@ -$ -* -@ diff --git a/modelchecker/tests/1.vdv b/modelchecker/tests/1.vdv deleted file mode 100644 index 67f3e03..0000000 --- a/modelchecker/tests/1.vdv +++ /dev/null @@ -1,3 +0,0 @@ -* -$ -+ diff --git a/modelchecker/tests/1.vdw b/modelchecker/tests/1.vdw deleted file mode 100644 index f0ebc70..0000000 --- a/modelchecker/tests/1.vdw +++ /dev/null @@ -1,3 +0,0 @@ -$ -* -+ diff --git a/modelchecker/tests/1.w b/modelchecker/tests/1.w deleted file mode 100644 index 8b13789..0000000 --- a/modelchecker/tests/1.w +++ /dev/null @@ -1 +0,0 @@ - diff --git a/modelchecker/tests/1.x b/modelchecker/tests/1.x deleted file mode 100644 index 0f36bec..0000000 --- a/modelchecker/tests/1.x +++ /dev/null @@ -1 +0,0 @@ -+$ diff --git a/modelchecker/tests/1.y b/modelchecker/tests/1.y deleted file mode 100644 index 0798a46..0000000 --- a/modelchecker/tests/1.y +++ /dev/null @@ -1 +0,0 @@ -*@ diff --git a/modelchecker/tests/1.z b/modelchecker/tests/1.z deleted file mode 100644 index 1b4d99a..0000000 --- a/modelchecker/tests/1.z +++ /dev/null @@ -1 +0,0 @@ -+* diff --git a/modelchecker/tests/2.aa b/modelchecker/tests/2.aa deleted file mode 100644 index 24ee4e8..0000000 --- a/modelchecker/tests/2.aa +++ /dev/null @@ -1,2 +0,0 @@ - -@ diff --git a/modelchecker/tests/2.ab b/modelchecker/tests/2.ab deleted file mode 100644 index 594628b..0000000 --- a/modelchecker/tests/2.ab +++ /dev/null @@ -1,2 +0,0 @@ - -+ diff --git a/modelchecker/tests/2.ac b/modelchecker/tests/2.ac deleted file mode 100644 index 6be3ae1..0000000 --- a/modelchecker/tests/2.ac +++ /dev/null @@ -1,2 +0,0 @@ -. -@ diff --git a/modelchecker/tests/2.ad b/modelchecker/tests/2.ad deleted file mode 100644 index 8668798..0000000 --- a/modelchecker/tests/2.ad +++ /dev/null @@ -1,2 +0,0 @@ -. -+ diff --git a/modelchecker/tests/2.bo b/modelchecker/tests/2.bo deleted file mode 100644 index 16389df..0000000 --- a/modelchecker/tests/2.bo +++ /dev/null @@ -1 +0,0 @@ -@$ diff --git a/modelchecker/tests/2.bp b/modelchecker/tests/2.bp deleted file mode 100644 index 9d5d76b..0000000 --- a/modelchecker/tests/2.bp +++ /dev/null @@ -1 +0,0 @@ -@ $ diff --git a/modelchecker/tests/2.bq b/modelchecker/tests/2.bq deleted file mode 100644 index 656cb7f..0000000 --- a/modelchecker/tests/2.bq +++ /dev/null @@ -1 +0,0 @@ -+$ diff --git a/modelchecker/tests/2.br b/modelchecker/tests/2.br deleted file mode 100644 index 2d030da..0000000 --- a/modelchecker/tests/2.br +++ /dev/null @@ -1 +0,0 @@ -+ $ diff --git a/modelchecker/tests/2.bs b/modelchecker/tests/2.bs deleted file mode 100644 index 8d1c8b6..0000000 --- a/modelchecker/tests/2.bs +++ /dev/null @@ -1 +0,0 @@ - diff --git a/modelchecker/tests/2.bt b/modelchecker/tests/2.bt deleted file mode 100644 index 51df466..0000000 --- a/modelchecker/tests/2.bt +++ /dev/null @@ -1 +0,0 @@ - @$ diff --git a/modelchecker/tests/2.bu b/modelchecker/tests/2.bu deleted file mode 100644 index 7865ef3..0000000 --- a/modelchecker/tests/2.bu +++ /dev/null @@ -1 +0,0 @@ -$+ diff --git a/modelchecker/tests/2.bv b/modelchecker/tests/2.bv deleted file mode 100644 index 08eef60..0000000 --- a/modelchecker/tests/2.bv +++ /dev/null @@ -1 +0,0 @@ - +$ diff --git a/modelchecker/tests/2.bw b/modelchecker/tests/2.bw deleted file mode 100644 index fc96b61..0000000 --- a/modelchecker/tests/2.bw +++ /dev/null @@ -1 +0,0 @@ -$ @ diff --git a/modelchecker/tests/2.bx b/modelchecker/tests/2.bx deleted file mode 100644 index 8d1c8b6..0000000 --- a/modelchecker/tests/2.bx +++ /dev/null @@ -1 +0,0 @@ - diff --git a/modelchecker/tests/2.by b/modelchecker/tests/2.by deleted file mode 100644 index 9775cb6..0000000 --- a/modelchecker/tests/2.by +++ /dev/null @@ -1 +0,0 @@ -$ + diff --git a/modelchecker/tests/2.bz b/modelchecker/tests/2.bz deleted file mode 100644 index 71cb1a0..0000000 --- a/modelchecker/tests/2.bz +++ /dev/null @@ -1 +0,0 @@ - $+ diff --git a/modelchecker/tests/2.c b/modelchecker/tests/2.c deleted file mode 100644 index fe9a7f4..0000000 --- a/modelchecker/tests/2.c +++ /dev/null @@ -1 +0,0 @@ -@ diff --git a/modelchecker/tests/2.ca b/modelchecker/tests/2.ca deleted file mode 100644 index 643a7f1..0000000 --- a/modelchecker/tests/2.ca +++ /dev/null @@ -1 +0,0 @@ -@* diff --git a/modelchecker/tests/2.cb b/modelchecker/tests/2.cb deleted file mode 100644 index 5bddb2c..0000000 --- a/modelchecker/tests/2.cb +++ /dev/null @@ -1 +0,0 @@ -@ * diff --git a/modelchecker/tests/2.cc b/modelchecker/tests/2.cc deleted file mode 100644 index 7b80397..0000000 --- a/modelchecker/tests/2.cc +++ /dev/null @@ -1 +0,0 @@ -+* diff --git a/modelchecker/tests/2.cd b/modelchecker/tests/2.cd deleted file mode 100644 index 6aa777e..0000000 --- a/modelchecker/tests/2.cd +++ /dev/null @@ -1 +0,0 @@ -+ * diff --git a/modelchecker/tests/2.ce b/modelchecker/tests/2.ce deleted file mode 100644 index c3a206b..0000000 --- a/modelchecker/tests/2.ce +++ /dev/null @@ -1 +0,0 @@ -*@ diff --git a/modelchecker/tests/2.cf b/modelchecker/tests/2.cf deleted file mode 100644 index ab93399..0000000 --- a/modelchecker/tests/2.cf +++ /dev/null @@ -1 +0,0 @@ - @* diff --git a/modelchecker/tests/2.cg b/modelchecker/tests/2.cg deleted file mode 100644 index 63b96cf..0000000 --- a/modelchecker/tests/2.cg +++ /dev/null @@ -1 +0,0 @@ -*+ diff --git a/modelchecker/tests/2.ch b/modelchecker/tests/2.ch deleted file mode 100644 index 5e4bef5..0000000 --- a/modelchecker/tests/2.ch +++ /dev/null @@ -1 +0,0 @@ - +* diff --git a/modelchecker/tests/2.ci b/modelchecker/tests/2.ci deleted file mode 100644 index 306363e..0000000 --- a/modelchecker/tests/2.ci +++ /dev/null @@ -1 +0,0 @@ -* @ diff --git a/modelchecker/tests/2.cj b/modelchecker/tests/2.cj deleted file mode 100644 index f8614b0..0000000 --- a/modelchecker/tests/2.cj +++ /dev/null @@ -1 +0,0 @@ - *@ diff --git a/modelchecker/tests/2.ck b/modelchecker/tests/2.ck deleted file mode 100644 index b6695e9..0000000 --- a/modelchecker/tests/2.ck +++ /dev/null @@ -1 +0,0 @@ -* + diff --git a/modelchecker/tests/2.cl b/modelchecker/tests/2.cl deleted file mode 100644 index ff505f8..0000000 --- a/modelchecker/tests/2.cl +++ /dev/null @@ -1 +0,0 @@ - *+ diff --git a/modelchecker/tests/2.cm b/modelchecker/tests/2.cm deleted file mode 100644 index 8d4f16e..0000000 --- a/modelchecker/tests/2.cm +++ /dev/null @@ -1 +0,0 @@ -@$. diff --git a/modelchecker/tests/2.cn b/modelchecker/tests/2.cn deleted file mode 100644 index ee897ea..0000000 --- a/modelchecker/tests/2.cn +++ /dev/null @@ -1 +0,0 @@ -@.$ diff --git a/modelchecker/tests/2.co b/modelchecker/tests/2.co deleted file mode 100644 index eea9930..0000000 --- a/modelchecker/tests/2.co +++ /dev/null @@ -1 +0,0 @@ -+$. diff --git a/modelchecker/tests/2.cp b/modelchecker/tests/2.cp deleted file mode 100644 index 95190a4..0000000 --- a/modelchecker/tests/2.cp +++ /dev/null @@ -1 +0,0 @@ -+.$ diff --git a/modelchecker/tests/2.cq b/modelchecker/tests/2.cq deleted file mode 100644 index 9c558e3..0000000 --- a/modelchecker/tests/2.cq +++ /dev/null @@ -1 +0,0 @@ -. diff --git a/modelchecker/tests/2.cr b/modelchecker/tests/2.cr deleted file mode 100644 index 4fd2a6e..0000000 --- a/modelchecker/tests/2.cr +++ /dev/null @@ -1 +0,0 @@ -.@$ diff --git a/modelchecker/tests/2.cs b/modelchecker/tests/2.cs deleted file mode 100644 index 905a558..0000000 --- a/modelchecker/tests/2.cs +++ /dev/null @@ -1 +0,0 @@ -$+. diff --git a/modelchecker/tests/2.ct b/modelchecker/tests/2.ct deleted file mode 100644 index 7c7130f..0000000 --- a/modelchecker/tests/2.ct +++ /dev/null @@ -1 +0,0 @@ -.+$ diff --git a/modelchecker/tests/2.cu b/modelchecker/tests/2.cu deleted file mode 100644 index 4779a9f..0000000 --- a/modelchecker/tests/2.cu +++ /dev/null @@ -1 +0,0 @@ -$.@ diff --git a/modelchecker/tests/2.cv b/modelchecker/tests/2.cv deleted file mode 100644 index 9c558e3..0000000 --- a/modelchecker/tests/2.cv +++ /dev/null @@ -1 +0,0 @@ -. diff --git a/modelchecker/tests/2.cw b/modelchecker/tests/2.cw deleted file mode 100644 index 9665c94..0000000 --- a/modelchecker/tests/2.cw +++ /dev/null @@ -1 +0,0 @@ -$.+ diff --git a/modelchecker/tests/2.cx b/modelchecker/tests/2.cx deleted file mode 100644 index d68dc04..0000000 --- a/modelchecker/tests/2.cx +++ /dev/null @@ -1 +0,0 @@ -.$+ diff --git a/modelchecker/tests/2.cz b/modelchecker/tests/2.cz deleted file mode 100644 index 974d5e3..0000000 --- a/modelchecker/tests/2.cz +++ /dev/null @@ -1 +0,0 @@ -@*. diff --git a/modelchecker/tests/2.d b/modelchecker/tests/2.d deleted file mode 100644 index 79f9ef5..0000000 --- a/modelchecker/tests/2.d +++ /dev/null @@ -1 +0,0 @@ -+ diff --git a/modelchecker/tests/2.da b/modelchecker/tests/2.da deleted file mode 100644 index 5802d41..0000000 --- a/modelchecker/tests/2.da +++ /dev/null @@ -1 +0,0 @@ -@.* diff --git a/modelchecker/tests/2.db b/modelchecker/tests/2.db deleted file mode 100644 index 91459b8..0000000 --- a/modelchecker/tests/2.db +++ /dev/null @@ -1 +0,0 @@ -+*. diff --git a/modelchecker/tests/2.dc b/modelchecker/tests/2.dc deleted file mode 100644 index 07ad1a7..0000000 --- a/modelchecker/tests/2.dc +++ /dev/null @@ -1 +0,0 @@ -+.* diff --git a/modelchecker/tests/2.dd b/modelchecker/tests/2.dd deleted file mode 100644 index e8f78e6..0000000 --- a/modelchecker/tests/2.dd +++ /dev/null @@ -1 +0,0 @@ -*@. diff --git a/modelchecker/tests/2.de b/modelchecker/tests/2.de deleted file mode 100644 index 8cbe2d6..0000000 --- a/modelchecker/tests/2.de +++ /dev/null @@ -1 +0,0 @@ -.@* diff --git a/modelchecker/tests/2.df b/modelchecker/tests/2.df deleted file mode 100644 index 5915301..0000000 --- a/modelchecker/tests/2.df +++ /dev/null @@ -1 +0,0 @@ -*+. diff --git a/modelchecker/tests/2.dg b/modelchecker/tests/2.dg deleted file mode 100644 index 46a34b1..0000000 --- a/modelchecker/tests/2.dg +++ /dev/null @@ -1 +0,0 @@ -.+* diff --git a/modelchecker/tests/2.dh b/modelchecker/tests/2.dh deleted file mode 100644 index 1baf176..0000000 --- a/modelchecker/tests/2.dh +++ /dev/null @@ -1 +0,0 @@ -*.@ diff --git a/modelchecker/tests/2.di b/modelchecker/tests/2.di deleted file mode 100644 index c14534f..0000000 --- a/modelchecker/tests/2.di +++ /dev/null @@ -1 +0,0 @@ -.*@ diff --git a/modelchecker/tests/2.dj b/modelchecker/tests/2.dj deleted file mode 100644 index 3164958..0000000 --- a/modelchecker/tests/2.dj +++ /dev/null @@ -1 +0,0 @@ -*.+ diff --git a/modelchecker/tests/2.dk b/modelchecker/tests/2.dk deleted file mode 100644 index 7684803..0000000 --- a/modelchecker/tests/2.dk +++ /dev/null @@ -1 +0,0 @@ -.*+ diff --git a/modelchecker/tests/2.e b/modelchecker/tests/2.e deleted file mode 100644 index af5c276..0000000 --- a/modelchecker/tests/2.e +++ /dev/null @@ -1 +0,0 @@ -@. diff --git a/modelchecker/tests/2.f b/modelchecker/tests/2.f deleted file mode 100644 index e5ef257..0000000 --- a/modelchecker/tests/2.f +++ /dev/null @@ -1 +0,0 @@ -+. diff --git a/modelchecker/tests/2.k b/modelchecker/tests/2.k deleted file mode 100644 index f42801b..0000000 --- a/modelchecker/tests/2.k +++ /dev/null @@ -1,2 +0,0 @@ -@ - diff --git a/modelchecker/tests/2.l b/modelchecker/tests/2.l deleted file mode 100644 index 0debfd0..0000000 --- a/modelchecker/tests/2.l +++ /dev/null @@ -1,2 +0,0 @@ -+ - diff --git a/modelchecker/tests/2.m b/modelchecker/tests/2.m deleted file mode 100644 index a381e1a..0000000 --- a/modelchecker/tests/2.m +++ /dev/null @@ -1,2 +0,0 @@ -@ -. diff --git a/modelchecker/tests/2.n b/modelchecker/tests/2.n deleted file mode 100644 index f3e10c1..0000000 --- a/modelchecker/tests/2.n +++ /dev/null @@ -1,2 +0,0 @@ -+ -. diff --git a/modelchecker/tests/2.s b/modelchecker/tests/2.s deleted file mode 100644 index d575886..0000000 --- a/modelchecker/tests/2.s +++ /dev/null @@ -1 +0,0 @@ - @ diff --git a/modelchecker/tests/2.t b/modelchecker/tests/2.t deleted file mode 100644 index 8f4b4db..0000000 --- a/modelchecker/tests/2.t +++ /dev/null @@ -1 +0,0 @@ - + diff --git a/modelchecker/tests/2.u b/modelchecker/tests/2.u deleted file mode 100644 index 694e87c..0000000 --- a/modelchecker/tests/2.u +++ /dev/null @@ -1 +0,0 @@ -.@ diff --git a/modelchecker/tests/2.v b/modelchecker/tests/2.v deleted file mode 100644 index b18168c..0000000 --- a/modelchecker/tests/2.v +++ /dev/null @@ -1 +0,0 @@ -.+ diff --git a/modelchecker/tests/2.vbo b/modelchecker/tests/2.vbo deleted file mode 100644 index 05d627a..0000000 --- a/modelchecker/tests/2.vbo +++ /dev/null @@ -1,3 +0,0 @@ -@ -$ - diff --git a/modelchecker/tests/2.vbp b/modelchecker/tests/2.vbp deleted file mode 100644 index 1e6bb13..0000000 --- a/modelchecker/tests/2.vbp +++ /dev/null @@ -1,3 +0,0 @@ -@ - -$ diff --git a/modelchecker/tests/2.vbq b/modelchecker/tests/2.vbq deleted file mode 100644 index 6cb4e01..0000000 --- a/modelchecker/tests/2.vbq +++ /dev/null @@ -1,3 +0,0 @@ -+ -$ - diff --git a/modelchecker/tests/2.vbr b/modelchecker/tests/2.vbr deleted file mode 100644 index 3d9780c..0000000 --- a/modelchecker/tests/2.vbr +++ /dev/null @@ -1,3 +0,0 @@ -+ - -$ diff --git a/modelchecker/tests/2.vbs b/modelchecker/tests/2.vbs deleted file mode 100644 index 4bd9331..0000000 --- a/modelchecker/tests/2.vbs +++ /dev/null @@ -1,3 +0,0 @@ -$ -@ - diff --git a/modelchecker/tests/2.vbt b/modelchecker/tests/2.vbt deleted file mode 100644 index 1d4abd6..0000000 --- a/modelchecker/tests/2.vbt +++ /dev/null @@ -1,3 +0,0 @@ - -@ -$ diff --git a/modelchecker/tests/2.vbu b/modelchecker/tests/2.vbu deleted file mode 100644 index 5e32b07..0000000 --- a/modelchecker/tests/2.vbu +++ /dev/null @@ -1,3 +0,0 @@ -$ -+ - diff --git a/modelchecker/tests/2.vbv b/modelchecker/tests/2.vbv deleted file mode 100644 index dd4eefc..0000000 --- a/modelchecker/tests/2.vbv +++ /dev/null @@ -1,3 +0,0 @@ - -+ -$ diff --git a/modelchecker/tests/2.vbw b/modelchecker/tests/2.vbw deleted file mode 100644 index dc2824b..0000000 --- a/modelchecker/tests/2.vbw +++ /dev/null @@ -1,3 +0,0 @@ -$ - -@ diff --git a/modelchecker/tests/2.vbx b/modelchecker/tests/2.vbx deleted file mode 100644 index 956d71a..0000000 --- a/modelchecker/tests/2.vbx +++ /dev/null @@ -1,3 +0,0 @@ - -$ -@ diff --git a/modelchecker/tests/2.vby b/modelchecker/tests/2.vby deleted file mode 100644 index ef7177f..0000000 --- a/modelchecker/tests/2.vby +++ /dev/null @@ -1,3 +0,0 @@ -$ - -+ diff --git a/modelchecker/tests/2.vbz b/modelchecker/tests/2.vbz deleted file mode 100644 index 49be683..0000000 --- a/modelchecker/tests/2.vbz +++ /dev/null @@ -1,3 +0,0 @@ - -$ -+ diff --git a/modelchecker/tests/2.vca b/modelchecker/tests/2.vca deleted file mode 100644 index c4b1236..0000000 --- a/modelchecker/tests/2.vca +++ /dev/null @@ -1,3 +0,0 @@ -@ -* - diff --git a/modelchecker/tests/2.vcb b/modelchecker/tests/2.vcb deleted file mode 100644 index 722af13..0000000 --- a/modelchecker/tests/2.vcb +++ /dev/null @@ -1,3 +0,0 @@ -@ - -* diff --git a/modelchecker/tests/2.vcc b/modelchecker/tests/2.vcc deleted file mode 100644 index a15c6ce..0000000 --- a/modelchecker/tests/2.vcc +++ /dev/null @@ -1,3 +0,0 @@ -+ -* - diff --git a/modelchecker/tests/2.vcd b/modelchecker/tests/2.vcd deleted file mode 100644 index 4ed347b..0000000 --- a/modelchecker/tests/2.vcd +++ /dev/null @@ -1,3 +0,0 @@ -+ - -* diff --git a/modelchecker/tests/2.vce b/modelchecker/tests/2.vce deleted file mode 100644 index aefa84d..0000000 --- a/modelchecker/tests/2.vce +++ /dev/null @@ -1,3 +0,0 @@ -* -@ - diff --git a/modelchecker/tests/2.vcf b/modelchecker/tests/2.vcf deleted file mode 100644 index 6552726..0000000 --- a/modelchecker/tests/2.vcf +++ /dev/null @@ -1,3 +0,0 @@ - -@ -* diff --git a/modelchecker/tests/2.vcg b/modelchecker/tests/2.vcg deleted file mode 100644 index e9e7105..0000000 --- a/modelchecker/tests/2.vcg +++ /dev/null @@ -1,3 +0,0 @@ -* -+ - diff --git a/modelchecker/tests/2.vch b/modelchecker/tests/2.vch deleted file mode 100644 index e5dc986..0000000 --- a/modelchecker/tests/2.vch +++ /dev/null @@ -1,3 +0,0 @@ - -+ -* diff --git a/modelchecker/tests/2.vci b/modelchecker/tests/2.vci deleted file mode 100644 index 4f9c009..0000000 --- a/modelchecker/tests/2.vci +++ /dev/null @@ -1,3 +0,0 @@ -* - -@ diff --git a/modelchecker/tests/2.vcj b/modelchecker/tests/2.vcj deleted file mode 100644 index 623036e..0000000 --- a/modelchecker/tests/2.vcj +++ /dev/null @@ -1,3 +0,0 @@ - -* -@ diff --git a/modelchecker/tests/2.vck b/modelchecker/tests/2.vck deleted file mode 100644 index 86134a8..0000000 --- a/modelchecker/tests/2.vck +++ /dev/null @@ -1,3 +0,0 @@ -* - -+ diff --git a/modelchecker/tests/2.vcl b/modelchecker/tests/2.vcl deleted file mode 100644 index 270cf5f..0000000 --- a/modelchecker/tests/2.vcl +++ /dev/null @@ -1,3 +0,0 @@ - -* -+ diff --git a/modelchecker/tests/2.vcm b/modelchecker/tests/2.vcm deleted file mode 100644 index 4941282..0000000 --- a/modelchecker/tests/2.vcm +++ /dev/null @@ -1,3 +0,0 @@ -@ -$ -. diff --git a/modelchecker/tests/2.vcn b/modelchecker/tests/2.vcn deleted file mode 100644 index 5675a65..0000000 --- a/modelchecker/tests/2.vcn +++ /dev/null @@ -1,3 +0,0 @@ -@ -. -$ diff --git a/modelchecker/tests/2.vco b/modelchecker/tests/2.vco deleted file mode 100644 index b7438d7..0000000 --- a/modelchecker/tests/2.vco +++ /dev/null @@ -1,3 +0,0 @@ -+ -$ -. diff --git a/modelchecker/tests/2.vcp b/modelchecker/tests/2.vcp deleted file mode 100644 index ee03d64..0000000 --- a/modelchecker/tests/2.vcp +++ /dev/null @@ -1,3 +0,0 @@ -+ -. -$ diff --git a/modelchecker/tests/2.vcq b/modelchecker/tests/2.vcq deleted file mode 100644 index 47b9d2b..0000000 --- a/modelchecker/tests/2.vcq +++ /dev/null @@ -1,3 +0,0 @@ -$ -@ -. diff --git a/modelchecker/tests/2.vcr b/modelchecker/tests/2.vcr deleted file mode 100644 index 4709abd..0000000 --- a/modelchecker/tests/2.vcr +++ /dev/null @@ -1,3 +0,0 @@ -. -@ -$ diff --git a/modelchecker/tests/2.vcs b/modelchecker/tests/2.vcs deleted file mode 100644 index c26e5ba..0000000 --- a/modelchecker/tests/2.vcs +++ /dev/null @@ -1,3 +0,0 @@ -$ -+ -. diff --git a/modelchecker/tests/2.vct b/modelchecker/tests/2.vct deleted file mode 100644 index 9d6bd49..0000000 --- a/modelchecker/tests/2.vct +++ /dev/null @@ -1,3 +0,0 @@ -. -+ -$ diff --git a/modelchecker/tests/2.vcu b/modelchecker/tests/2.vcu deleted file mode 100644 index ece8904..0000000 --- a/modelchecker/tests/2.vcu +++ /dev/null @@ -1,3 +0,0 @@ -$ -. -@ diff --git a/modelchecker/tests/2.vcv b/modelchecker/tests/2.vcv deleted file mode 100644 index e262fd1..0000000 --- a/modelchecker/tests/2.vcv +++ /dev/null @@ -1,3 +0,0 @@ -. -$ -@ diff --git a/modelchecker/tests/2.vcw b/modelchecker/tests/2.vcw deleted file mode 100644 index eebd4eb..0000000 --- a/modelchecker/tests/2.vcw +++ /dev/null @@ -1,3 +0,0 @@ -$ -. -+ diff --git a/modelchecker/tests/2.vcx b/modelchecker/tests/2.vcx deleted file mode 100644 index f8c3ad9..0000000 --- a/modelchecker/tests/2.vcx +++ /dev/null @@ -1,3 +0,0 @@ -. -$ -+ diff --git a/modelchecker/tests/2.vcz b/modelchecker/tests/2.vcz deleted file mode 100644 index 7ffddba..0000000 --- a/modelchecker/tests/2.vcz +++ /dev/null @@ -1,3 +0,0 @@ -@ -* -. diff --git a/modelchecker/tests/2.vda b/modelchecker/tests/2.vda deleted file mode 100644 index ae86e52..0000000 --- a/modelchecker/tests/2.vda +++ /dev/null @@ -1,3 +0,0 @@ -@ -. -* diff --git a/modelchecker/tests/2.vdb b/modelchecker/tests/2.vdb deleted file mode 100644 index 1e2122a..0000000 --- a/modelchecker/tests/2.vdb +++ /dev/null @@ -1,3 +0,0 @@ -+ -* -. diff --git a/modelchecker/tests/2.vdc b/modelchecker/tests/2.vdc deleted file mode 100644 index c2fa9a0..0000000 --- a/modelchecker/tests/2.vdc +++ /dev/null @@ -1,3 +0,0 @@ -+ -. -* diff --git a/modelchecker/tests/2.vdd b/modelchecker/tests/2.vdd deleted file mode 100644 index 17e6de9..0000000 --- a/modelchecker/tests/2.vdd +++ /dev/null @@ -1,3 +0,0 @@ -* -@ -. diff --git a/modelchecker/tests/2.vde b/modelchecker/tests/2.vde deleted file mode 100644 index d51a4e6..0000000 --- a/modelchecker/tests/2.vde +++ /dev/null @@ -1,3 +0,0 @@ -. -@ -* diff --git a/modelchecker/tests/2.vdf b/modelchecker/tests/2.vdf deleted file mode 100644 index 672e1a8..0000000 --- a/modelchecker/tests/2.vdf +++ /dev/null @@ -1,3 +0,0 @@ -* -+ -. diff --git a/modelchecker/tests/2.vdg b/modelchecker/tests/2.vdg deleted file mode 100644 index 6fb623b..0000000 --- a/modelchecker/tests/2.vdg +++ /dev/null @@ -1,3 +0,0 @@ -. -+ -* diff --git a/modelchecker/tests/2.vdh b/modelchecker/tests/2.vdh deleted file mode 100644 index 34882ee..0000000 --- a/modelchecker/tests/2.vdh +++ /dev/null @@ -1,3 +0,0 @@ -* -. -@ diff --git a/modelchecker/tests/2.vdi b/modelchecker/tests/2.vdi deleted file mode 100644 index f8b21c3..0000000 --- a/modelchecker/tests/2.vdi +++ /dev/null @@ -1,3 +0,0 @@ -. -* -@ diff --git a/modelchecker/tests/2.vdj b/modelchecker/tests/2.vdj deleted file mode 100644 index 2b3a673..0000000 --- a/modelchecker/tests/2.vdj +++ /dev/null @@ -1,3 +0,0 @@ -* -. -+ diff --git a/modelchecker/tests/2.vdk b/modelchecker/tests/2.vdk deleted file mode 100644 index f461dc2..0000000 --- a/modelchecker/tests/2.vdk +++ /dev/null @@ -1,3 +0,0 @@ -. -* -+ diff --git a/modelchecker/tests/3.ae b/modelchecker/tests/3.ae deleted file mode 100644 index 5644553..0000000 --- a/modelchecker/tests/3.ae +++ /dev/null @@ -1 +0,0 @@ -@ diff --git a/modelchecker/tests/3.af b/modelchecker/tests/3.af deleted file mode 100644 index ee5f1c3..0000000 --- a/modelchecker/tests/3.af +++ /dev/null @@ -1 +0,0 @@ -+ diff --git a/modelchecker/tests/3.ag b/modelchecker/tests/3.ag deleted file mode 100644 index 6400bed..0000000 --- a/modelchecker/tests/3.ag +++ /dev/null @@ -1 +0,0 @@ - @ diff --git a/modelchecker/tests/3.ah b/modelchecker/tests/3.ah deleted file mode 100644 index 8d570bc..0000000 --- a/modelchecker/tests/3.ah +++ /dev/null @@ -1 +0,0 @@ - + diff --git a/modelchecker/tests/3.ai b/modelchecker/tests/3.ai deleted file mode 100644 index 5bd7b57..0000000 --- a/modelchecker/tests/3.ai +++ /dev/null @@ -1 +0,0 @@ - @ diff --git a/modelchecker/tests/3.aj b/modelchecker/tests/3.aj deleted file mode 100644 index 0c1c7ad..0000000 --- a/modelchecker/tests/3.aj +++ /dev/null @@ -1 +0,0 @@ - + diff --git a/modelchecker/tests/3.ak b/modelchecker/tests/3.ak deleted file mode 100644 index 1c559b3..0000000 --- a/modelchecker/tests/3.ak +++ /dev/null @@ -1 +0,0 @@ -@.. diff --git a/modelchecker/tests/3.al b/modelchecker/tests/3.al deleted file mode 100644 index 552ccae..0000000 --- a/modelchecker/tests/3.al +++ /dev/null @@ -1 +0,0 @@ -+.. diff --git a/modelchecker/tests/3.am b/modelchecker/tests/3.am deleted file mode 100644 index 2a7f3cd..0000000 --- a/modelchecker/tests/3.am +++ /dev/null @@ -1 +0,0 @@ -.@. diff --git a/modelchecker/tests/3.an b/modelchecker/tests/3.an deleted file mode 100644 index 1ebfeac..0000000 --- a/modelchecker/tests/3.an +++ /dev/null @@ -1 +0,0 @@ -.+. diff --git a/modelchecker/tests/3.ao b/modelchecker/tests/3.ao deleted file mode 100644 index 51a2953..0000000 --- a/modelchecker/tests/3.ao +++ /dev/null @@ -1 +0,0 @@ -..@ diff --git a/modelchecker/tests/3.ap b/modelchecker/tests/3.ap deleted file mode 100644 index 2b39a1b..0000000 --- a/modelchecker/tests/3.ap +++ /dev/null @@ -1 +0,0 @@ -..+ diff --git a/modelchecker/tests/3.bc b/modelchecker/tests/3.bc deleted file mode 100644 index eef7761..0000000 --- a/modelchecker/tests/3.bc +++ /dev/null @@ -1 +0,0 @@ -@. diff --git a/modelchecker/tests/3.bd b/modelchecker/tests/3.bd deleted file mode 100644 index 1d89be2..0000000 --- a/modelchecker/tests/3.bd +++ /dev/null @@ -1 +0,0 @@ -@ . diff --git a/modelchecker/tests/3.be b/modelchecker/tests/3.be deleted file mode 100644 index 67d4a5d..0000000 --- a/modelchecker/tests/3.be +++ /dev/null @@ -1 +0,0 @@ -+. diff --git a/modelchecker/tests/3.bf b/modelchecker/tests/3.bf deleted file mode 100644 index dc2b92b..0000000 --- a/modelchecker/tests/3.bf +++ /dev/null @@ -1 +0,0 @@ -+ . diff --git a/modelchecker/tests/3.bg b/modelchecker/tests/3.bg deleted file mode 100644 index c7c0090..0000000 --- a/modelchecker/tests/3.bg +++ /dev/null @@ -1 +0,0 @@ -.@ diff --git a/modelchecker/tests/3.bh b/modelchecker/tests/3.bh deleted file mode 100644 index 4f3e30b..0000000 --- a/modelchecker/tests/3.bh +++ /dev/null @@ -1 +0,0 @@ - @. diff --git a/modelchecker/tests/3.bi b/modelchecker/tests/3.bi deleted file mode 100644 index dc9b5cf..0000000 --- a/modelchecker/tests/3.bi +++ /dev/null @@ -1 +0,0 @@ -.+ diff --git a/modelchecker/tests/3.bj b/modelchecker/tests/3.bj deleted file mode 100644 index 815c378..0000000 --- a/modelchecker/tests/3.bj +++ /dev/null @@ -1 +0,0 @@ - +. diff --git a/modelchecker/tests/3.bk b/modelchecker/tests/3.bk deleted file mode 100644 index ccb58de..0000000 --- a/modelchecker/tests/3.bk +++ /dev/null @@ -1 +0,0 @@ -. @ diff --git a/modelchecker/tests/3.bl b/modelchecker/tests/3.bl deleted file mode 100644 index fdfbe90..0000000 --- a/modelchecker/tests/3.bl +++ /dev/null @@ -1 +0,0 @@ - .@ diff --git a/modelchecker/tests/3.bm b/modelchecker/tests/3.bm deleted file mode 100644 index d8cd4de..0000000 --- a/modelchecker/tests/3.bm +++ /dev/null @@ -1 +0,0 @@ -. + diff --git a/modelchecker/tests/3.bn b/modelchecker/tests/3.bn deleted file mode 100644 index 353d1f3..0000000 --- a/modelchecker/tests/3.bn +++ /dev/null @@ -1 +0,0 @@ - .+ diff --git a/modelchecker/tests/3.vae b/modelchecker/tests/3.vae deleted file mode 100644 index 7610065..0000000 --- a/modelchecker/tests/3.vae +++ /dev/null @@ -1,3 +0,0 @@ -@ - - diff --git a/modelchecker/tests/3.vaf b/modelchecker/tests/3.vaf deleted file mode 100644 index aab35a7..0000000 --- a/modelchecker/tests/3.vaf +++ /dev/null @@ -1,3 +0,0 @@ -+ - - diff --git a/modelchecker/tests/3.vag b/modelchecker/tests/3.vag deleted file mode 100644 index 07e0526..0000000 --- a/modelchecker/tests/3.vag +++ /dev/null @@ -1,3 +0,0 @@ - -@ - diff --git a/modelchecker/tests/3.vah b/modelchecker/tests/3.vah deleted file mode 100644 index 80f110d..0000000 --- a/modelchecker/tests/3.vah +++ /dev/null @@ -1,3 +0,0 @@ - -+ - diff --git a/modelchecker/tests/3.vai b/modelchecker/tests/3.vai deleted file mode 100644 index 010abc8..0000000 --- a/modelchecker/tests/3.vai +++ /dev/null @@ -1,3 +0,0 @@ - - -@ diff --git a/modelchecker/tests/3.vaj b/modelchecker/tests/3.vaj deleted file mode 100644 index ec3062a..0000000 --- a/modelchecker/tests/3.vaj +++ /dev/null @@ -1,3 +0,0 @@ - - -+ diff --git a/modelchecker/tests/3.vak b/modelchecker/tests/3.vak deleted file mode 100644 index 66b2e99..0000000 --- a/modelchecker/tests/3.vak +++ /dev/null @@ -1,3 +0,0 @@ -@ -. -. diff --git a/modelchecker/tests/3.val b/modelchecker/tests/3.val deleted file mode 100644 index fa2c27f..0000000 --- a/modelchecker/tests/3.val +++ /dev/null @@ -1,3 +0,0 @@ -+ -. -. diff --git a/modelchecker/tests/3.vam b/modelchecker/tests/3.vam deleted file mode 100644 index 766be26..0000000 --- a/modelchecker/tests/3.vam +++ /dev/null @@ -1,3 +0,0 @@ -. -@ -. diff --git a/modelchecker/tests/3.van b/modelchecker/tests/3.van deleted file mode 100644 index 04ba1a2..0000000 --- a/modelchecker/tests/3.van +++ /dev/null @@ -1,3 +0,0 @@ -. -+ -. diff --git a/modelchecker/tests/3.vao b/modelchecker/tests/3.vao deleted file mode 100644 index 1481406..0000000 --- a/modelchecker/tests/3.vao +++ /dev/null @@ -1,3 +0,0 @@ -. -. -@ diff --git a/modelchecker/tests/3.vap b/modelchecker/tests/3.vap deleted file mode 100644 index f14edae..0000000 --- a/modelchecker/tests/3.vap +++ /dev/null @@ -1,3 +0,0 @@ -. -. -+ diff --git a/modelchecker/tests/3.vbc b/modelchecker/tests/3.vbc deleted file mode 100644 index dd7d12a..0000000 --- a/modelchecker/tests/3.vbc +++ /dev/null @@ -1,3 +0,0 @@ -@ -. - diff --git a/modelchecker/tests/3.vbd b/modelchecker/tests/3.vbd deleted file mode 100644 index 4b8dcb5..0000000 --- a/modelchecker/tests/3.vbd +++ /dev/null @@ -1,3 +0,0 @@ -@ - -. diff --git a/modelchecker/tests/3.vbe b/modelchecker/tests/3.vbe deleted file mode 100644 index 91d31a6..0000000 --- a/modelchecker/tests/3.vbe +++ /dev/null @@ -1,3 +0,0 @@ -+ -. - diff --git a/modelchecker/tests/3.vbf b/modelchecker/tests/3.vbf deleted file mode 100644 index e3a76ef..0000000 --- a/modelchecker/tests/3.vbf +++ /dev/null @@ -1,3 +0,0 @@ -+ - -. diff --git a/modelchecker/tests/3.vbg b/modelchecker/tests/3.vbg deleted file mode 100644 index f846f67..0000000 --- a/modelchecker/tests/3.vbg +++ /dev/null @@ -1,3 +0,0 @@ -. -@ - diff --git a/modelchecker/tests/3.vbh b/modelchecker/tests/3.vbh deleted file mode 100644 index 354871d..0000000 --- a/modelchecker/tests/3.vbh +++ /dev/null @@ -1,3 +0,0 @@ - -@ -. diff --git a/modelchecker/tests/3.vbi b/modelchecker/tests/3.vbi deleted file mode 100644 index 382853e..0000000 --- a/modelchecker/tests/3.vbi +++ /dev/null @@ -1,3 +0,0 @@ -. -+ - diff --git a/modelchecker/tests/3.vbj b/modelchecker/tests/3.vbj deleted file mode 100644 index 0742f8f..0000000 --- a/modelchecker/tests/3.vbj +++ /dev/null @@ -1,3 +0,0 @@ - -+ -. diff --git a/modelchecker/tests/3.vbk b/modelchecker/tests/3.vbk deleted file mode 100644 index 65ae184..0000000 --- a/modelchecker/tests/3.vbk +++ /dev/null @@ -1,3 +0,0 @@ -. - -@ diff --git a/modelchecker/tests/3.vbl b/modelchecker/tests/3.vbl deleted file mode 100644 index aece55e..0000000 --- a/modelchecker/tests/3.vbl +++ /dev/null @@ -1,3 +0,0 @@ - -. -@ diff --git a/modelchecker/tests/3.vbm b/modelchecker/tests/3.vbm deleted file mode 100644 index 074693e..0000000 --- a/modelchecker/tests/3.vbm +++ /dev/null @@ -1,3 +0,0 @@ -. - -+ diff --git a/modelchecker/tests/3.vbn b/modelchecker/tests/3.vbn deleted file mode 100644 index 3dbcf43..0000000 --- a/modelchecker/tests/3.vbn +++ /dev/null @@ -1,3 +0,0 @@ - -. -+ diff --git a/modelchecker/tests/generate_tests.sh b/modelchecker/tests/generate_tests.sh new file mode 100755 index 0000000..b63b183 --- /dev/null +++ b/modelchecker/tests/generate_tests.sh @@ -0,0 +1,181 @@ +#!/bin/bash +set -e + +# HAIL COPY PASTE AND VIM MACROS!!!!!!!!!!11!11!one!1eleven +find . -not -iname "*.sh" -not -iname "\." | xargs rm + +# a=agent +# A=targetagent +# B=targetbox +# b=box +# t=target + +## One block +# Agent +echo '@' > 1.a +# Targetagent +echo '*' > 1.A + +## Two blocks +# Agent free +echo '@ ' > 2.af +echo ' @' > 2.fa +# Agent target +echo '@.' > 2.at +echo '.@' > 2.ta +# Agent box +echo '@$' > 1.ab +echo '\$@' > 1.ba +# Agent boxtarget +echo '@*' > 1.aB +echo '*@' > 1.Ba + +# TargetAgent free +echo '+ ' > 2.Af +echo ' +' > 2.fA +# TargetAgent target +echo '+.' > 2.At +echo '.+' > 2.tA +# TargetAgent box +echo '+$' > 1.Ab +echo '$+' > 1.bA +# TargetAgent boxtarget +echo '+*' > 1.AB +echo '*+' > 1.BA + +### Three blocks +# Agent free free +echo '@ ' > 3.aff +echo ' @ ' > 3.faf +echo ' @' > 3.ffa + +# Agent free target +echo '@ .' > 3.aft +echo '@. ' > 3.atf +echo '.@ ' > 3.taf +echo ' @.' > 3.fat +echo '. @' > 3.tfa +echo ' .@' > 3.fta + +# Agent free box +echo '@ $' > 2.afb +echo '@$ ' > 3.abf +echo '$@ ' > 2.baf +echo ' @$' > 2.fab +echo '$ @' > 2.bfa +echo ' $@' > 3.fba + +# Agent free boxtarget +echo '@ *' > 2.afB +echo '@* ' > 3.aBf +echo '*@ ' > 2.Baf +echo ' @*' > 2.faB +echo '* @' > 2.Bfa +echo ' *@' > 3.fBa + +# Agent target target +echo '@..' > 3.att +echo '.@.' > 3.tat +echo '..@' > 3.tta + +# Agent target box +echo '@$.' > 3.abt +echo '@.$' > 2.atb +echo '.@$' > 2.tab +echo '$@.' > 2.bat +echo '.$@' > 3.tba +echo '$.@' > 2.bta + +# Agent target boxtarget +echo '@*.' > 3.aBt +echo '@.*' > 2.atB +echo '.@*' > 2.taB +echo '*@.' > 2.Bat +echo '.*@' > 3.tBa +echo '*.@' > 2.Bta + +# Agent box box +echo '@$$' > 1.abb +echo '$@$' > 1.bab +echo '$$@' > 1.bba + +# Agent box boxtarget +echo '@*$' > 1.aBb +echo '@$*' > 1.abB +echo '$@*' > 1.baB +echo '*@$' > 1.Bab +echo '$*@' > 1.bBa +echo '*$@' > 1.Bba + +# Agent boxtarget boxtarget +echo '@**' > 1.aBB +echo '*@*' > 1.BaB +echo '**@' > 1.BBa + +# TargetAgent free free +echo '+ ' > 3.Aff +echo ' + ' > 3.fAf +echo ' +' > 3.ffA + +# TargetAgent free target +echo '+ .' > 3.Aft +echo '+. ' > 3.Atf +echo '.+ ' > 3.tAf +echo ' +.' > 3.fAt +echo '. +' > 3.tfA +echo ' .+' > 3.ftA + +# TargetAgent free box +echo '+ $' > 2.Afb +echo '+$ ' > 3.Abf +echo '$+ ' > 2.bAf +echo ' +$' > 2.fAb +echo '$ +' > 2.bfA +echo ' $+' > 3.fbA + +# TargetAgent free boxtarget +echo '+ *' > 2.AfB +echo '+* ' > 3.ABf +echo '*+ ' > 2.BAf +echo ' +*' > 2.fAB +echo '* +' > 2.BfA +echo ' *+' > 3.fBA + +# TargetAgent target target +echo '+..' > 3.Att +echo '.+.' > 3.tAt +echo '..+' > 3.ttA + +# TargetAgent target box +echo '+$.' > 3.Abt +echo '+.$' > 2.Atb +echo '.+$' > 2.tAb +echo '$+.' > 2.bAt +echo '.$+' > 3.tbA +echo '$.+' > 2.btA + +# TargetAgent target boxtarget +echo '+*.' > 3.ABt +echo '+.*' > 2.AtB +echo '.+*' > 2.tAB +echo '*+.' > 2.BAt +echo '.*+' > 3.tBA +echo '*.+' > 2.BtA + +# TargetAgent box box +echo '+$$' > 1.Abb +echo '$+$' > 1.bAb +echo '$$+' > 1.bbA + +# TargetAgent box boxtarget +echo '+*$' > 1.ABb +echo '+$*' > 1.AbB +echo '$+*' > 1.bAB +echo '*+$' > 1.BAb +echo '$*+' > 1.bBA +echo '*$+' > 1.BbA + +# TargetAgent boxtarget boxtarget +echo '+**' > 1.ABB +echo '*+*' > 1.BAB +echo '**+' > 1.BBA -- 2.20.1