remove old tests

diff --git a/modelchecker/tests/1.a b/modelchecker/tests/1.a
deleted file mode 100644 (file)
index 59c227c..0000000
--- a/modelchecker/tests/1.a
+++ /dev/null
@@ -1 +0,0 @@
-@

diff --git a/modelchecker/tests/1.ba b/modelchecker/tests/1.ba
deleted file mode 100644 (file)
index f4014e8..0000000
--- a/modelchecker/tests/1.ba
+++ /dev/null
@@ -1 +0,0 @@
-\$@