blob: d054b097aa43fa75eb40993d7512f6a9918e4852 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
@echo off
setlocal
set BGEXE=..\..\Binaries\Boogie.exe
for %%f in (typecheck.bpl list.bpl allocator.bpl) do (
echo.
echo -------------------- %%f --------------------
%BGEXE% %* /nologo /noinfer /typeEncoding:m /useArrayTheory /doModSetAnalysis %%f
)
|