updated tests
authorMart Lubbers <mart@martlubbers.net>
Tue, 19 Apr 2016 17:32:14 +0000 (19:32 +0200)
committerMart Lubbers <mart@martlubbers.net>
Tue, 19 Apr 2016 17:32:14 +0000 (19:32 +0200)
commitd1e711fb69f95a8e81f6d6e6f3014dc2d87b38a9
tree1cc6d7629e7d69461e85a75cb4d1f9f0ff4ea95c
parentd8496404fca14bd5f221987df167930f482c622b
updated tests
36 files changed:
modelchecker/tests/1.aq
modelchecker/tests/1.ar
modelchecker/tests/1.au
modelchecker/tests/1.av
modelchecker/tests/2.bo [moved from modelchecker/tests/1.bo with 100% similarity]
modelchecker/tests/2.bq [moved from modelchecker/tests/1.bq with 100% similarity]
modelchecker/tests/2.bx [moved from modelchecker/tests/1.bx with 100% similarity]
modelchecker/tests/2.bz [moved from modelchecker/tests/1.bz with 100% similarity]
modelchecker/tests/2.ca [moved from modelchecker/tests/1.ca with 100% similarity]
modelchecker/tests/2.cc [moved from modelchecker/tests/1.cc with 100% similarity]
modelchecker/tests/2.cj [moved from modelchecker/tests/1.cj with 100% similarity]
modelchecker/tests/2.cl [moved from modelchecker/tests/1.cl with 100% similarity]
modelchecker/tests/2.cm [moved from modelchecker/tests/1.cm with 100% similarity]
modelchecker/tests/2.co [moved from modelchecker/tests/1.co with 100% similarity]
modelchecker/tests/2.cv [moved from modelchecker/tests/1.cv with 100% similarity]
modelchecker/tests/2.cx [moved from modelchecker/tests/1.cx with 100% similarity]
modelchecker/tests/2.cz [moved from modelchecker/tests/1.cz with 100% similarity]
modelchecker/tests/2.db [moved from modelchecker/tests/1.db with 100% similarity]
modelchecker/tests/2.di [moved from modelchecker/tests/1.di with 100% similarity]
modelchecker/tests/2.dk [moved from modelchecker/tests/1.dk with 100% similarity]
modelchecker/tests/2.vbo [moved from modelchecker/tests/1.vbo with 100% similarity]
modelchecker/tests/2.vbq [moved from modelchecker/tests/1.vbq with 100% similarity]
modelchecker/tests/2.vbx [moved from modelchecker/tests/1.vbx with 100% similarity]
modelchecker/tests/2.vbz [moved from modelchecker/tests/1.vbz with 100% similarity]
modelchecker/tests/2.vca [moved from modelchecker/tests/1.vca with 100% similarity]
modelchecker/tests/2.vcc [moved from modelchecker/tests/1.vcc with 100% similarity]
modelchecker/tests/2.vcj [moved from modelchecker/tests/1.vcj with 100% similarity]
modelchecker/tests/2.vcl [moved from modelchecker/tests/1.vcl with 100% similarity]
modelchecker/tests/2.vcm [moved from modelchecker/tests/1.vcm with 100% similarity]
modelchecker/tests/2.vco [moved from modelchecker/tests/1.vco with 100% similarity]
modelchecker/tests/2.vcv [moved from modelchecker/tests/1.vcv with 100% similarity]
modelchecker/tests/2.vcx [moved from modelchecker/tests/1.vcx with 100% similarity]
modelchecker/tests/2.vcz [moved from modelchecker/tests/1.vcz with 100% similarity]
modelchecker/tests/2.vdb [moved from modelchecker/tests/1.vdb with 100% similarity]
modelchecker/tests/2.vdi [moved from modelchecker/tests/1.vdi with 100% similarity]
modelchecker/tests/2.vdk [moved from modelchecker/tests/1.vdk with 100% similarity]