blob: fc25c8763810a0210507203f0a4a7db6d560a44a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
@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 CaptureState) do (
echo.
echo -------------------- %%f --------------------
"%BGEXE%" %* %%f.bpl
)
|
