blob: f2a4d3e56ac065f24a6cf17c805eb1955ad11b37 (
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 -printInstrumented -noVerify %%f
)
for %%f in (Bound.bpl) do (
echo -------------------- %%f --------------------
%BGEXE% %* -infer:p %%f
)
|