blob: 0fc1799019e9b86eb2029896b8e67a9185eff87f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
@echo off
setlocal
set BGEXE=..\..\Binaries\Boogie.exe
for %%f in (arrays.bpl bv0.bpl bv1.bpl bv2.bpl bv3.bpl bv4.bpl bv7.bpl vcc0.bpl) do (
echo -------------------- %%f --------------------
%BGEXE% /proverWarnings:1 /bv:z %* /logPrefix:-0 %%f
)
echo -------------------- vcc0.bpl - toInt --------------------
%BGEXE% /proverWarnings:1 /bv:i /proc:foo %* /logPrefix:-1 vcc0.bpl
echo -------------------- bv4.bpl - /bv:n --------------------
%BGEXE% /bv:n %* /logPrefix:-1 bv4.bpl
for %%f in (bv5.bpl bv6.bpl bv8.bpl) do (
echo -------------------- %%f --------------------
%BGEXE% %* %%f
)
|
