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/generalizedarray/Answer | 4 ---- Test/generalizedarray/runtest.bat | 12 ------------ 2 files changed, 16 deletions(-) delete mode 100644 Test/generalizedarray/Answer delete mode 100644 Test/generalizedarray/runtest.bat (limited to 'Test/generalizedarray') diff --git a/Test/generalizedarray/Answer b/Test/generalizedarray/Answer deleted file mode 100644 index 285316aa..00000000 --- a/Test/generalizedarray/Answer +++ /dev/null @@ -1,4 +0,0 @@ - --------------------- Maps.bpl -------------------- - -Boogie program verifier finished with 1 verified, 0 errors diff --git a/Test/generalizedarray/runtest.bat b/Test/generalizedarray/runtest.bat deleted file mode 100644 index 1f4c64f9..00000000 --- a/Test/generalizedarray/runtest.bat +++ /dev/null @@ -1,12 +0,0 @@ -@echo off -setlocal - -set BOOGIEDIR=..\..\Binaries -set BPLEXE=%BOOGIEDIR%\Boogie.exe - -for %%f in (Maps.bpl) do ( - echo. - echo -------------------- %%f -------------------- - %BPLEXE% %* /typeEncoding:m /useArrayTheory %%f -) - -- cgit v1.2.3