blob: 3b2c382c40d8e88876898c407d8fefa979986416 (
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 (ineq.bpl Linear0.bpl Linear1.bpl Linear2.bpl
Linear3.bpl Linear4.bpl Linear5.bpl Linear6.bpl
Linear7.bpl Linear8.bpl Linear9.bpl) do (
echo -------------------- %%f --------------------
%BGEXE% %* -infer:p -instrumentInfer:e -printInstrumented -noVerify %%f
)
for %%f in (Bound.bpl) do (
echo -------------------- %%f --------------------
%BGEXE% %* -infer:p %%f
)
|
