blob: b9b6419018da4b9c8f5bb1f348a2e19be2fbf2fe (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
@echo off
setlocal
set BGEXE=..\..\Binaries\Boogie.exe
rem set BGEXE=mono ..\..\Binaries\Boogie.exe
echo ==================== -z3multipleErrors ========================
for %%f in (z3mutl.bpl EQ_v2.Eval__v4.Eval_out.bpl) do (
echo.
echo -------------------- %%f --------------------
%BGEXE% -typeEncoding:m -z3multipleErrors %* %%f
)
|
