blob: 08a27b9b5c00efe5607e4ff0303ca3ed34fbb75c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
@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 boog9.bpl boog10.bpl boog11.bpl boog13.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 boog8.bpl
REM boog12.bpl
REM boog14.bpl
REM boog15.bpl
REM boog16.bpl
REM boog17.bpl
REM boog19.bpl
REM boog23.bpl
REM boog25.bpl
|