1 files changed, 0 insertions, 35 deletions
diff --git a/Test/test21/runtest.bat b/Test/test21/runtest.bat
deleted file mode 100644
index bfdcc570..00000000
--- a/Test/test21/runtest.bat
+++ /dev/null
@@ -1,35 +0,0 @@
-@echo off
-setlocal
-
-set BGEXE=..\..\Binaries\Boogie.exe
-rem set BGEXE=mono ..\..\Binaries\Boogie.exe
-
-
-for %%m in (
-              n p a
-            ) do (
-echo --------------------- TypeEncoding %%m z3types ----------------------------
-for %%f in (DisjointDomains.bpl DisjointDomains2.bpl FunAxioms.bpl
-            FunAxioms2.bpl PolyList.bpl Maps0.bpl Maps1.bpl
-            InterestingExamples0.bpl InterestingExamples1.bpl InterestingExamples2.bpl
-            InterestingExamples3.bpl InterestingExamples4.bpl InterestingExamples5.bpl
-            Colors.bpl HeapAbstraction.bpl HeapAxiom.bpl Triggers0.bpl Triggers1.bpl
-            Keywords.bpl Casts.bpl BooleanQuantification.bpl EmptyList.bpl Boxing.bpl
-            MapOutputTypeParams.bpl ParallelAssignment.bpl BooleanQuantification2.bpl
-            Flattening.bpl Orderings.bpl Orderings2.bpl Orderings3.bpl Orderings4.bpl
-            EmptySetBug.bpl Coercions2.bpl MapAxiomsConsistency.bpl LargeLiterals0.bpl
-            Real.bpl) do (
-  echo --------------------- File %%f ----------------------------
-  %BGEXE% %* /typeEncoding:%%m /logPrefix:0%%m %%f
-)
-
-echo --------------------- File NameClash.bpl ----------------------------
-%BGEXE% %* /typeEncoding:%%m /logPrefix:0%%m NameClash.bpl
-echo --------------------- File Keywords.bpl ----------------------------
-%BGEXE% %* /typeEncoding:%%m /logPrefix:0%%m Keywords.bpl
-echo --------------------- File LargeLiterals0.bpl ----------------------------
-%BGEXE% %* /typeEncoding:%%m /logPrefix:0%%m LargeLiterals0.bpl
-
-echo --------------------- File LetSorting.bpl ----------------------------
-%BGEXE% %* /typeEncoding:%%m /logPrefix:0%%m LetSorting.bpl
-)