blob: f704e263be18ff9574a3826ad9a4e052a97ea6f6 (
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
|
@echo off
setlocal
set BGEXE=..\..\Binaries\Boogie.exe
rem set BGEXE=mono ..\..\Binaries\Boogie.exe
for %%f in (FormulaTerm.bpl FormulaTerm2.bpl Passification.bpl B.bpl
Ensures.bpl Old.bpl OldIllegal.bpl Arrays.bpl Axioms.bpl
Quantifiers.bpl Call.bpl AssumeEnsures.bpl
CutBackEdge.bpl False.bpl LoopInvAssume.bpl
strings-no-where.bpl strings-where.bpl
Structured.bpl Where.bpl UpdateExpr.bpl
NeverPattern.bpl NullaryMaps.bpl Implies.bpl
IfThenElse1.bpl Lambda.bpl LambdaPoly.bpl) do (
echo.
echo -------------------- %%f --------------------
%BGEXE% %* /noinfer %%f
)
for %%f in (Arrays.bpl Lambda.bpl TypeEncodingM.bpl ) do (
echo.
echo -------------------- %%f /typeEncoding:m --------------------
%BGEXE% %* /noinfer /typeEncoding:m %%f
)
echo -------------------- sk_hack.bpl --------------------
%BGEXE% %* /noinfer /bv:z sk_hack.bpl
for %%f in (CallForall.bpl ContractEvaluationOrder.bpl) do (
echo.
echo -------------------- %%f --------------------
%BGEXE% %* %%f
)
|
