blob: 2a140368545c77825460b70d7f78816a60a5e05e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
@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) do (
echo -------------------- %%f --------------------
%BGEXE% /proverWarnings:1 %* %%f
)
for %%f in (bv5.bpl bv6.bpl bv8.bpl bv10.bpl) do (
echo -------------------- %%f --------------------
%BGEXE% %* %%f
)
echo -------------------- bv9.bpl /proverOpt:OPTIMIZE_FOR_BV=true --------------------
%BGEXE% /proverOpt:OPTIMIZE_FOR_BV=true %* bv9.bpl
|
