blob: dda3a0afd56a1e01f57019ea188f5a15612b5ab5 (
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
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
|
