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/test21/runtest.bat | |
| parent | 68bb2d0882069c9468e7e36c78a0eef710b7c677 (diff) | |
Removed old test infrastructure files except for
./AbsHoudini/
./doomed/
./z3api/
./test17/
because their conversion to lit incomplete.
Diffstat (limited to 'Test/test21/runtest.bat')
| -rw-r--r-- | Test/test21/runtest.bat | 35 |
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
-)
|