From: Mart Lubbers Date: Tue, 19 Apr 2016 17:32:14 +0000 (+0200) Subject: updated tests X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=d1e711fb69f95a8e81f6d6e6f3014dc2d87b38a9;p=mc1516pa.git updated tests --- 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