From ef1f44d721a4d5de5c8cacfbc540383c87e9abf9 Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Tue, 19 Apr 2016 19:59:03 +0200 Subject: [PATCH] remove old tests --- modelchecker/tests/1.a | 1 - modelchecker/tests/1.ba | 1 - 2 files changed, 2 deletions(-) delete mode 100644 modelchecker/tests/1.a delete mode 100644 modelchecker/tests/1.ba 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 @@ -\$@ -- 2.20.1