From d1e711fb69f95a8e81f6d6e6f3014dc2d87b38a9 Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Tue, 19 Apr 2016 19:32:14 +0200 Subject: [PATCH] updated tests --- modelchecker/tests/1.aq | 2 +- modelchecker/tests/1.ar | 2 +- modelchecker/tests/1.au | 2 +- modelchecker/tests/1.av | 2 +- modelchecker/tests/{1.bo => 2.bo} | 0 modelchecker/tests/{1.bq => 2.bq} | 0 modelchecker/tests/{1.bx => 2.bx} | 0 modelchecker/tests/{1.bz => 2.bz} | 0 modelchecker/tests/{1.ca => 2.ca} | 0 modelchecker/tests/{1.cc => 2.cc} | 0 modelchecker/tests/{1.cj => 2.cj} | 0 modelchecker/tests/{1.cl => 2.cl} | 0 modelchecker/tests/{1.cm => 2.cm} | 0 modelchecker/tests/{1.co => 2.co} | 0 modelchecker/tests/{1.cv => 2.cv} | 0 modelchecker/tests/{1.cx => 2.cx} | 0 modelchecker/tests/{1.cz => 2.cz} | 0 modelchecker/tests/{1.db => 2.db} | 0 modelchecker/tests/{1.di => 2.di} | 0 modelchecker/tests/{1.dk => 2.dk} | 0 modelchecker/tests/{1.vbo => 2.vbo} | 0 modelchecker/tests/{1.vbq => 2.vbq} | 0 modelchecker/tests/{1.vbx => 2.vbx} | 0 modelchecker/tests/{1.vbz => 2.vbz} | 0 modelchecker/tests/{1.vca => 2.vca} | 0 modelchecker/tests/{1.vcc => 2.vcc} | 0 modelchecker/tests/{1.vcj => 2.vcj} | 0 modelchecker/tests/{1.vcl => 2.vcl} | 0 modelchecker/tests/{1.vcm => 2.vcm} | 0 modelchecker/tests/{1.vco => 2.vco} | 0 modelchecker/tests/{1.vcv => 2.vcv} | 0 modelchecker/tests/{1.vcx => 2.vcx} | 0 modelchecker/tests/{1.vcz => 2.vcz} | 0 modelchecker/tests/{1.vdb => 2.vdb} | 0 modelchecker/tests/{1.vdi => 2.vdi} | 0 modelchecker/tests/{1.vdk => 2.vdk} | 0 36 files changed, 4 insertions(+), 4 deletions(-) rename modelchecker/tests/{1.bo => 2.bo} (100%) rename modelchecker/tests/{1.bq => 2.bq} (100%) rename modelchecker/tests/{1.bx => 2.bx} (100%) rename modelchecker/tests/{1.bz => 2.bz} (100%) rename modelchecker/tests/{1.ca => 2.ca} (100%) rename modelchecker/tests/{1.cc => 2.cc} (100%) rename modelchecker/tests/{1.cj => 2.cj} (100%) rename modelchecker/tests/{1.cl => 2.cl} (100%) rename modelchecker/tests/{1.cm => 2.cm} (100%) rename modelchecker/tests/{1.co => 2.co} (100%) rename modelchecker/tests/{1.cv => 2.cv} (100%) rename modelchecker/tests/{1.cx => 2.cx} (100%) rename modelchecker/tests/{1.cz => 2.cz} (100%) rename modelchecker/tests/{1.db => 2.db} (100%) rename modelchecker/tests/{1.di => 2.di} (100%) rename modelchecker/tests/{1.dk => 2.dk} (100%) rename modelchecker/tests/{1.vbo => 2.vbo} (100%) rename modelchecker/tests/{1.vbq => 2.vbq} (100%) rename modelchecker/tests/{1.vbx => 2.vbx} (100%) rename modelchecker/tests/{1.vbz => 2.vbz} (100%) rename modelchecker/tests/{1.vca => 2.vca} (100%) rename modelchecker/tests/{1.vcc => 2.vcc} (100%) rename modelchecker/tests/{1.vcj => 2.vcj} (100%) rename modelchecker/tests/{1.vcl => 2.vcl} (100%) rename modelchecker/tests/{1.vcm => 2.vcm} (100%) rename modelchecker/tests/{1.vco => 2.vco} (100%) rename modelchecker/tests/{1.vcv => 2.vcv} (100%) rename modelchecker/tests/{1.vcx => 2.vcx} (100%) rename modelchecker/tests/{1.vcz => 2.vcz} (100%) rename modelchecker/tests/{1.vdb => 2.vdb} (100%) rename modelchecker/tests/{1.vdi => 2.vdi} (100%) rename modelchecker/tests/{1.vdk => 2.vdk} (100%) diff --git a/modelchecker/tests/1.aq b/modelchecker/tests/1.aq index bfb63f5..030097c 100644 --- a/modelchecker/tests/1.aq +++ b/modelchecker/tests/1.aq @@ -1 +1 @@ -@2294 +@15128 diff --git a/modelchecker/tests/1.ar b/modelchecker/tests/1.ar index 2beede7..670ac56 100644 --- a/modelchecker/tests/1.ar +++ b/modelchecker/tests/1.ar @@ -1 +1 @@ -+2294 ++15128 diff --git a/modelchecker/tests/1.au b/modelchecker/tests/1.au index b46fdb6..9d1d9d3 100644 --- a/modelchecker/tests/1.au +++ b/modelchecker/tests/1.au @@ -1 +1 @@ -2294@ +15128@ diff --git a/modelchecker/tests/1.av b/modelchecker/tests/1.av index 61b71ef..455102c 100644 --- a/modelchecker/tests/1.av +++ b/modelchecker/tests/1.av @@ -1 +1 @@ -2294+ +15128+ diff --git a/modelchecker/tests/1.bo b/modelchecker/tests/2.bo similarity index 100% rename from modelchecker/tests/1.bo rename to modelchecker/tests/2.bo diff --git a/modelchecker/tests/1.bq b/modelchecker/tests/2.bq similarity index 100% rename from modelchecker/tests/1.bq rename to modelchecker/tests/2.bq diff --git a/modelchecker/tests/1.bx b/modelchecker/tests/2.bx similarity index 100% rename from modelchecker/tests/1.bx rename to modelchecker/tests/2.bx diff --git a/modelchecker/tests/1.bz b/modelchecker/tests/2.bz similarity index 100% rename from modelchecker/tests/1.bz rename to modelchecker/tests/2.bz diff --git a/modelchecker/tests/1.ca b/modelchecker/tests/2.ca similarity index 100% rename from modelchecker/tests/1.ca rename to modelchecker/tests/2.ca diff --git a/modelchecker/tests/1.cc b/modelchecker/tests/2.cc similarity index 100% rename from modelchecker/tests/1.cc rename to modelchecker/tests/2.cc diff --git a/modelchecker/tests/1.cj b/modelchecker/tests/2.cj similarity index 100% rename from modelchecker/tests/1.cj rename to modelchecker/tests/2.cj diff --git a/modelchecker/tests/1.cl b/modelchecker/tests/2.cl similarity index 100% rename from modelchecker/tests/1.cl rename to modelchecker/tests/2.cl diff --git a/modelchecker/tests/1.cm b/modelchecker/tests/2.cm similarity index 100% rename from modelchecker/tests/1.cm rename to modelchecker/tests/2.cm diff --git a/modelchecker/tests/1.co b/modelchecker/tests/2.co similarity index 100% rename from modelchecker/tests/1.co rename to modelchecker/tests/2.co diff --git a/modelchecker/tests/1.cv b/modelchecker/tests/2.cv similarity index 100% rename from modelchecker/tests/1.cv rename to modelchecker/tests/2.cv diff --git a/modelchecker/tests/1.cx b/modelchecker/tests/2.cx similarity index 100% rename from modelchecker/tests/1.cx rename to modelchecker/tests/2.cx diff --git a/modelchecker/tests/1.cz b/modelchecker/tests/2.cz similarity index 100% rename from modelchecker/tests/1.cz rename to modelchecker/tests/2.cz diff --git a/modelchecker/tests/1.db b/modelchecker/tests/2.db similarity index 100% rename from modelchecker/tests/1.db rename to modelchecker/tests/2.db diff --git a/modelchecker/tests/1.di b/modelchecker/tests/2.di similarity index 100% rename from modelchecker/tests/1.di rename to modelchecker/tests/2.di diff --git a/modelchecker/tests/1.dk b/modelchecker/tests/2.dk similarity index 100% rename from modelchecker/tests/1.dk rename to modelchecker/tests/2.dk diff --git a/modelchecker/tests/1.vbo b/modelchecker/tests/2.vbo similarity index 100% rename from modelchecker/tests/1.vbo rename to modelchecker/tests/2.vbo diff --git a/modelchecker/tests/1.vbq b/modelchecker/tests/2.vbq similarity index 100% rename from modelchecker/tests/1.vbq rename to modelchecker/tests/2.vbq diff --git a/modelchecker/tests/1.vbx b/modelchecker/tests/2.vbx similarity index 100% rename from modelchecker/tests/1.vbx rename to modelchecker/tests/2.vbx diff --git a/modelchecker/tests/1.vbz b/modelchecker/tests/2.vbz similarity index 100% rename from modelchecker/tests/1.vbz rename to modelchecker/tests/2.vbz diff --git a/modelchecker/tests/1.vca b/modelchecker/tests/2.vca similarity index 100% rename from modelchecker/tests/1.vca rename to modelchecker/tests/2.vca diff --git a/modelchecker/tests/1.vcc b/modelchecker/tests/2.vcc similarity index 100% rename from modelchecker/tests/1.vcc rename to modelchecker/tests/2.vcc diff --git a/modelchecker/tests/1.vcj b/modelchecker/tests/2.vcj similarity index 100% rename from modelchecker/tests/1.vcj rename to modelchecker/tests/2.vcj diff --git a/modelchecker/tests/1.vcl b/modelchecker/tests/2.vcl similarity index 100% rename from modelchecker/tests/1.vcl rename to modelchecker/tests/2.vcl diff --git a/modelchecker/tests/1.vcm b/modelchecker/tests/2.vcm similarity index 100% rename from modelchecker/tests/1.vcm rename to modelchecker/tests/2.vcm diff --git a/modelchecker/tests/1.vco b/modelchecker/tests/2.vco similarity index 100% rename from modelchecker/tests/1.vco rename to modelchecker/tests/2.vco diff --git a/modelchecker/tests/1.vcv b/modelchecker/tests/2.vcv similarity index 100% rename from modelchecker/tests/1.vcv rename to modelchecker/tests/2.vcv diff --git a/modelchecker/tests/1.vcx b/modelchecker/tests/2.vcx similarity index 100% rename from modelchecker/tests/1.vcx rename to modelchecker/tests/2.vcx diff --git a/modelchecker/tests/1.vcz b/modelchecker/tests/2.vcz similarity index 100% rename from modelchecker/tests/1.vcz rename to modelchecker/tests/2.vcz diff --git a/modelchecker/tests/1.vdb b/modelchecker/tests/2.vdb similarity index 100% rename from modelchecker/tests/1.vdb rename to modelchecker/tests/2.vdb diff --git a/modelchecker/tests/1.vdi b/modelchecker/tests/2.vdi similarity index 100% rename from modelchecker/tests/1.vdi rename to modelchecker/tests/2.vdi diff --git a/modelchecker/tests/1.vdk b/modelchecker/tests/2.vdk similarity index 100% rename from modelchecker/tests/1.vdk rename to modelchecker/tests/2.vdk -- 2.20.1