blob: ccd043555e9e90b87aa76ecaa9289f7afa1ea263 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
@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 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
|
