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/codeexpr/Answer      | 31 -------------------------------
 Test/codeexpr/runtest.bat | 10 ----------
 2 files changed, 41 deletions(-)
 delete mode 100644 Test/codeexpr/Answer
 delete mode 100644 Test/codeexpr/runtest.bat

(limited to 'Test/codeexpr')

diff --git a/Test/codeexpr/Answer b/Test/codeexpr/Answer
deleted file mode 100644
index 15cced53..00000000
--- a/Test/codeexpr/Answer
+++ /dev/null
@@ -1,31 +0,0 @@
-
------------------------------- CodeExpr0.bpl ---------------------
-CodeExpr0.bpl(17,3): Error BP5001: This assertion might not hold.
-Execution trace:
-        CodeExpr0.bpl(17,3): anon0
-CodeExpr0.bpl(22,3): Error BP5001: This assertion might not hold.
-Execution trace:
-        CodeExpr0.bpl(22,3): anon0
-CodeExpr0.bpl(54,3): Error BP5001: This assertion might not hold.
-Execution trace:
-        CodeExpr0.bpl(54,3): anon0
-
-Boogie program verifier finished with 3 verified, 3 errors
-
------------------------------- CodeExpr1.bpl ---------------------
-CodeExpr1.bpl(46,5): Error BP5003: A postcondition might not hold on this return path.
-CodeExpr1.bpl(42,3): Related location: This is the postcondition that might not hold.
-Execution trace:
-        CodeExpr1.bpl(44,3): start
-CodeExpr1.bpl(54,5): Error BP5001: This assertion might not hold.
-Execution trace:
-        CodeExpr1.bpl(51,3): start
-CodeExpr1.bpl(68,5): Error BP5001: This assertion might not hold.
-Execution trace:
-        CodeExpr1.bpl(59,3): start
-
-Boogie program verifier finished with 3 verified, 3 errors
-
------------------------------- CodeExpr2.bpl ---------------------
-
-Boogie program verifier finished with 6 verified, 0 errors
diff --git a/Test/codeexpr/runtest.bat b/Test/codeexpr/runtest.bat
deleted file mode 100644
index 502081b1..00000000
--- a/Test/codeexpr/runtest.bat
+++ /dev/null
@@ -1,10 +0,0 @@
-@echo off
-
-set BOOGIEDIR=..\..\Binaries
-set BPLEXE=%BOOGIEDIR%\Boogie.exe
-
-for %%f in (CodeExpr0.bpl CodeExpr1.bpl CodeExpr2.bpl) do (
-  echo.
-  echo ------------------------------ %%f ---------------------
-  %BPLEXE% %* %%f
-)
-- 
cgit v1.2.3