From 08e1dc93d185e221b65bd59ccc167526937ee4d4 Mon Sep 17 00:00:00 2001 From: Dan Liew 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/textbook/Answer | 28 ---------------------------- Test/textbook/runtest.bat | 14 -------------- 2 files changed, 42 deletions(-) delete mode 100644 Test/textbook/Answer delete mode 100644 Test/textbook/runtest.bat (limited to 'Test/textbook') 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 -) -- cgit v1.2.3