blob: 149e6dc972010b0fc2c94d6aa857d83f5360e8ba (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
@echo off
setlocal
set BGEXE=..\..\Binaries\Boogie.exe
rem set BGEXE=mono ..\..\Binaries\Boogie.exe
%BGEXE% %* /noVerify Frame0.bpl
%BGEXE% %* /noVerify Frame1.bpl
%BGEXE% %* /noVerify LogicalExprs.bpl
%BGEXE% %* /noVerify Arrays.bpl
%BGEXE% %* /noVerify WhereTyping.bpl
%BGEXE% %* /noVerify Family.bpl
%BGEXE% %* /noVerify AttributeTyping.bpl
%BGEXE% %* /noVerify UpdateExprTyping.bpl
%BGEXE% %* /noVerify CallForallResolve.bpl
%BGEXE% %* /noVerify MapsTypeErrors.bpl
%BGEXE% %* /noVerify Orderings.bpl
%BGEXE% %* /noVerify EmptyCallArgs.bpl
%BGEXE% %* /noVerify FunBody.bpl
%BGEXE% %* /noVerify IfThenElse0.bpl
%BGEXE% %* /noVerify Lambda.bpl
%BGEXE% %* /noVerify IntReal.bpl
|
