summaryrefslogtreecommitdiff
path: root/Test/bitvectors/runtest.bat
blob: a04806454c0dc02815f1d9884b0fbaaf1614ac36 (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) do (
  echo -------------------- %%f --------------------
  %BGEXE% /proverWarnings:1 /bv:z %* /logPrefix:-0 %%f
)

echo -------------------- bv4.bpl - /bv:n --------------------
%BGEXE% /bv:n %* /logPrefix:-1 bv4.bpl

for %%f in (bv5.bpl bv6.bpl bv8.bpl bv10.bpl) do (
  echo -------------------- %%f --------------------
  %BGEXE% %* %%f
)

echo -------------------- bv9.bpl /bv:z /proverOpt:OPTIMIZE_FOR_BV=true --------------------
%BGEXE% /bv:z /proverOpt:OPTIMIZE_FOR_BV=true %* bv9.bpl