diff options
Diffstat (limited to 'Test/test21/runtest.bat')
| -rw-r--r-- | Test/test21/runtest.bat | 36 |
1 files changed, 8 insertions, 28 deletions
diff --git a/Test/test21/runtest.bat b/Test/test21/runtest.bat index 223f278b..d994a4da 100644 --- a/Test/test21/runtest.bat +++ b/Test/test21/runtest.bat @@ -7,47 +7,27 @@ rem set BGEXE=mono ..\..\Binaries\Boogie.exe for %%m in (
n p a
) do (
-echo --------------------- TypeEncoding %%m ----------------------------
+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 EmptyList.bpl Boxing.bpl MapOutputTypeParams.bpl
- ParallelAssignment.bpl BooleanQuantification.bpl BooleanQuantification2.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) do (
echo --------------------- File %%f ----------------------------
- %BGEXE% %* /typeEncoding:%%m /logPrefix:0%%m /bv:n %%f
+ %BGEXE% %* /typeEncoding:%%m /logPrefix:0%%m %%f
)
echo --------------------- File NameClash.bpl ----------------------------
-%BGEXE% %* /typeEncoding:%%m /logPrefix:0%%m /logPrefix:S NameClash.bpl
-echo --------------------- File LetSorting.bpl ----------------------------
-%BGEXE% %* /typeEncoding:%%m /logPrefix:0%%m /logPrefix:S /vc:n LetSorting.bpl
+%BGEXE% %* /typeEncoding:%%m /logPrefix:0%%m NameClash.bpl
echo --------------------- File Keywords.bpl ----------------------------
-%BGEXE% %* /typeEncoding:%%m /logPrefix:0%%m /logPrefix:S Keywords.bpl
+%BGEXE% %* /typeEncoding:%%m /logPrefix:0%%m Keywords.bpl
echo --------------------- File LargeLiterals0.bpl ----------------------------
-%BGEXE% %* /typeEncoding:%%m /logPrefix:0%%m /logPrefix:S LargeLiterals0.bpl
-)
-
-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) do (
- echo --------------------- File %%f ----------------------------
- %BGEXE% %* /typeEncoding:%%m /logPrefix:1%%m %%f
-)
+%BGEXE% %* /typeEncoding:%%m /logPrefix:0%%m LargeLiterals0.bpl
echo --------------------- File LetSorting.bpl ----------------------------
-%BGEXE% %* /typeEncoding:%%m /logPrefix:1%%m /logPrefix:z3t /z3types /vc:n LetSorting.bpl
+%BGEXE% %* /typeEncoding:%%m /logPrefix:0%%m LetSorting.bpl
)
|