blob: 83452323d3b072a8160b862ee5ac9ae6aca9b8fb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
@echo off
setlocal
set BOOGIEDIR=..\..\Binaries
set BGEXE=%BOOGIEDIR%\boogie.exe
for %%f in (NullInModel IntInModel ModelTest) do (
echo.
echo -------------------- %%f --------------------
"%BGEXE%" %* %%f.bpl /printModel:2
)
for %%f in (InterpretedFunctionTests) do (
echo.
echo -------------------- %%f --------------------
"%BGEXE%" %* %%f.bpl
)
for %%f in (CaptureState) do (
echo.
echo -------------------- %%f --------------------
"%BGEXE%" %* %%f.bpl /mv:-
)
|
