blob: e9bc968e683eb6c72fa35ad2497eb9ae27a2eab6 (
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 (boog0.bpl boog1.bpl boog2.bpl boog3.bpl boog4.bpl boog5.bpl boog6.bpl boog7.bpl boog8.bpl boog9.bpl boog10.bpl boog11.bpl boog13.bpl boog14.bpl boog16.bpl boog17.bpl boog18.bpl boog20.bpl boog21.bpl boog22.bpl boog24.bpl boog28.bpl boog29.bpl boog30.bpl boog31.bpl boog34.bpl) do (
echo.
echo -------------------- %%f --------------------
%BGEXE% %* /nologo /typeEncoding:m /prover:z3api %%f
)
REM boog12.bpl
REM boog15.bpl
REM boog19.bpl
REM boog23.bpl
REM boog25.bpl
|
