diff options
author | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-05-28 16:32:14 +0100 |
---|---|---|
committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-05-28 16:32:14 +0100 |
commit | 08e1dc93d185e221b65bd59ccc167526937ee4d4 (patch) | |
tree | 5af0f9ea8cc49a34adc45e63f5b1ba4326fc2a13 /Test/textbook | |
parent | 68bb2d0882069c9468e7e36c78a0eef710b7c677 (diff) |
Removed old test infrastructure files except for
./AbsHoudini/
./doomed/
./z3api/
./test17/
because their conversion to lit incomplete.
Diffstat (limited to 'Test/textbook')
-rw-r--r-- | Test/textbook/Answer | 28 | ||||
-rw-r--r-- | Test/textbook/runtest.bat | 14 |
2 files changed, 0 insertions, 42 deletions
diff --git a/Test/textbook/Answer b/Test/textbook/Answer deleted file mode 100644 index 42e41c5a..00000000 --- a/Test/textbook/Answer +++ /dev/null @@ -1,28 +0,0 @@ -
------------------------------- Find.bpl ---------------------
-
-Boogie program verifier finished with 2 verified, 0 errors
-
------------------------------- DutchFlag.bpl ---------------------
-
-Boogie program verifier finished with 1 verified, 0 errors
-
------------------------------- Bubble.bpl ---------------------
-
-Boogie program verifier finished with 1 verified, 0 errors
-
------------------------------- DivMod.bpl ---------------------
-
-Boogie program verifier finished with 2 verified, 0 errors
-
------------------------------- McCarthy-91.bpl ---------------------
-
-Boogie program verifier finished with 1 verified, 0 errors
-
------------------------------- TuringFactorial.bpl ---------------------
-
-Boogie program verifier finished with 1 verified, 0 errors
-
------------------------------- BQueue.bpl ---------------------
-
-Boogie program verifier finished with 8 verified, 0 errors
diff --git a/Test/textbook/runtest.bat b/Test/textbook/runtest.bat deleted file mode 100644 index f43e54d9..00000000 --- a/Test/textbook/runtest.bat +++ /dev/null @@ -1,14 +0,0 @@ -@echo off
-
-set BOOGIEDIR=..\..\Binaries
-set BPLEXE=%BOOGIEDIR%\Boogie.exe
-
-REM ======================
-REM ====================== Examples written in Boogie
-REM ======================
-for %%f in (Find.bpl DutchFlag.bpl Bubble.bpl DivMod.bpl McCarthy-91.bpl
- TuringFactorial.bpl BQueue.bpl) do (
- echo.
- echo ------------------------------ %%f ---------------------
- %BPLEXE% %* %%f
-)
|