blob: 90771065da04d2e2a1a9014254264507c670876e (
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) do (
echo.
echo -------------------- %%f --------------------
"%BGEXE%" %* %%f.bpl
)
|
