blob: 5ecc22dcbb57d650e4540efa4c348c5acbb866ff (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
@echo off
setlocal
set BGEXE=..\..\Binaries\Boogie.exe
rem set BGEXE=mono ..\..\Binaries\Boogie.exe
%BGEXE% %* /noVerify Prog0.bpl
%BGEXE% %* /noVerify ModifiedBag.bpl
%BGEXE% %* /noVerify Triggers0.bpl
%BGEXE% %* /noVerify Triggers1.bpl
%BGEXE% %* /noVerify /printInstrumented PrettyPrint.bpl
%BGEXE% %* /noVerify Arrays0.bpl
%BGEXE% %* /noVerify Arrays1.bpl
%BGEXE% %* /noVerify Types0.bpl
%BGEXE% %* /noVerify Types1.bpl
%BGEXE% %* /noVerify WhereParsing.bpl
%BGEXE% %* /noVerify WhereParsing0.bpl
%BGEXE% %* /noVerify WhereParsing1.bpl
%BGEXE% %* /noVerify WhereParsing2.bpl
%BGEXE% %* /noVerify WhereResolution.bpl
%BGEXE% %* /noVerify BadLabels0.bpl
%BGEXE% %* /noVerify BadLabels1.bpl
%BGEXE% %* /noVerify LineParse.bpl
%BGEXE% %* /noVerify LineResolve.bpl
%BGEXE% %* /noVerify AttributeParsingErr.bpl
%BGEXE% %* /noVerify /print:- /env:0 AttributeParsing.bpl
%BGEXE% %* /noVerify AttributeResolution.bpl
%BGEXE% %* /noVerify /print:- /env:0 Quoting.bpl
%BGEXE% %* /noVerify LargeLiterals0.bpl
%BGEXE% %* /noVerify MapsResolutionErrors.bpl
%BGEXE% %* /noVerify Orderings.bpl
%BGEXE% %* /noVerify BadQuantifier.bpl
%BGEXE% %* /noVerify EmptyCallArgs.bpl
echo ----- SeparateVerification0.bpl
%BGEXE% %* /noVerify SeparateVerification0.bpl
echo ----- SeparateVerification1.bpl SeparateVerification0.bpl
%BGEXE% %* /noVerify SeparateVerification1.bpl SeparateVerification0.bpl
echo ----- SeparateVerification0.bpl SeparateVerification0.bpl
%BGEXE% %* /noVerify SeparateVerification0.bpl SeparateVerification0.bpl
echo ----- SeparateVerification0.bpl SeparateVerification0.bpl SeparateVerification1.bpl
%BGEXE% %* /noVerify SeparateVerification0.bpl SeparateVerification0.bpl SeparateVerification1.bpl
|
