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