From 08e1dc93d185e221b65bd59ccc167526937ee4d4 Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Wed, 28 May 2014 16:32:14 +0100
Subject: Removed old test infrastructure files except for

./AbsHoudini/
./doomed/
./z3api/
./test17/

because their conversion to lit incomplete.
---
 Test/smoke/Answer      | 23 -----------------------
 Test/smoke/runtest.bat | 11 -----------
 2 files changed, 34 deletions(-)
 delete mode 100644 Test/smoke/Answer
 delete mode 100644 Test/smoke/runtest.bat

(limited to 'Test/smoke')

diff --git a/Test/smoke/Answer b/Test/smoke/Answer
deleted file mode 100644
index e2390446..00000000
--- a/Test/smoke/Answer
+++ /dev/null
@@ -1,23 +0,0 @@
--------------------- smoke0.bpl --------------------
-found unreachable code:
-implementation b(x: int)
-{
-  var y: int;
-
-
-  0:
-    goto anon0;
-
-  anon0:
-    goto anon3_Then;
-
-  anon3_Then:
-    assume {:partition} x < 0;
-    y := 1;
-    assert false;
-    return;
-}
-
-
-
-Boogie program verifier finished with 4 verified, 0 errors
diff --git a/Test/smoke/runtest.bat b/Test/smoke/runtest.bat
deleted file mode 100644
index 7728d5ef..00000000
--- a/Test/smoke/runtest.bat
+++ /dev/null
@@ -1,11 +0,0 @@
-@echo off
-setlocal
-
-set BOOGIEDIR=..\..\Binaries
-set BGEXE=%BOOGIEDIR%\Boogie.exe
-
-for %%f in (smoke0.bpl) do (
-  echo -------------------- %%f --------------------
-  %BGEXE% /smoke %* %%f
-)
-
-- 
cgit v1.2.3