updated tests

diff --git a/modelchecker/tests/1.aq b/modelchecker/tests/1.aq
index bfb63f5..030097c 100644 (file)
--- 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 (file)
--- 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 (file)
--- 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 (file)
--- 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