1 files changed, 0 insertions, 42 deletions
diff --git a/Test/test0/runtest.bat b/Test/test0/runtest.bat
deleted file mode 100644
index 5ecc22dc..00000000
--- a/Test/test0/runtest.bat
+++ /dev/null
@@ -1,42 +0,0 @@
-@echo off
-setlocal
-
-set BGEXE=..\..\Binaries\Boogie.exe
-rem set BGEXE=mono ..\..\Binaries\Boogie.exe
-
-%BGEXE% %* /noVerify Prog0.bpl
-%BGEXE% %* /noVerify ModifiedBag.bpl
-%BGEXE% %* /noVerify Triggers0.bpl
-%BGEXE% %* /noVerify Triggers1.bpl
-%BGEXE% %* /noVerify /printInstrumented PrettyPrint.bpl
-%BGEXE% %* /noVerify Arrays0.bpl
-%BGEXE% %* /noVerify Arrays1.bpl
-%BGEXE% %* /noVerify Types0.bpl
-%BGEXE% %* /noVerify Types1.bpl
-%BGEXE% %* /noVerify WhereParsing.bpl
-%BGEXE% %* /noVerify WhereParsing0.bpl
-%BGEXE% %* /noVerify WhereParsing1.bpl
-%BGEXE% %* /noVerify WhereParsing2.bpl
-%BGEXE% %* /noVerify WhereResolution.bpl
-%BGEXE% %* /noVerify BadLabels0.bpl
-%BGEXE% %* /noVerify BadLabels1.bpl
-%BGEXE% %* /noVerify LineParse.bpl
-%BGEXE% %* /noVerify LineResolve.bpl
-%BGEXE% %* /noVerify AttributeParsingErr.bpl
-%BGEXE% %* /noVerify /print:- /env:0 AttributeParsing.bpl
-%BGEXE% %* /noVerify AttributeResolution.bpl
-%BGEXE% %* /noVerify /print:- /env:0 Quoting.bpl
-%BGEXE% %* /noVerify LargeLiterals0.bpl
-%BGEXE% %* /noVerify MapsResolutionErrors.bpl
-%BGEXE% %* /noVerify Orderings.bpl
-%BGEXE% %* /noVerify BadQuantifier.bpl
-%BGEXE% %* /noVerify EmptyCallArgs.bpl
-
-echo ----- SeparateVerification0.bpl
-%BGEXE% %* /noVerify SeparateVerification0.bpl
-echo ----- SeparateVerification1.bpl SeparateVerification0.bpl
-%BGEXE% %* /noVerify SeparateVerification1.bpl SeparateVerification0.bpl
-echo ----- SeparateVerification0.bpl SeparateVerification0.bpl
-%BGEXE% %* /noVerify SeparateVerification0.bpl SeparateVerification0.bpl
-echo ----- SeparateVerification0.bpl SeparateVerification0.bpl SeparateVerification1.bpl
-%BGEXE% %* /noVerify SeparateVerification0.bpl SeparateVerification0.bpl SeparateVerification1.bpl