blob: bfdcc5704780502bd61cfa94fb6f909766f9adcf (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
@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
)
|
