From: Mart Lubbers <mart@martlubbers.net>
Date: Tue, 19 Apr 2016 17:59:03 +0000 (+0200)
Subject: remove old tests
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=ef1f44d721a4d5de5c8cacfbc540383c87e9abf9;p=mc1516pa.git

remove old tests
---

diff --git a/modelchecker/tests/1.a b/modelchecker/tests/1.a
deleted file mode 100644
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
index f4014e8..0000000
--- a/modelchecker/tests/1.ba
+++ /dev/null
@@ -1 +0,0 @@
-\$@