blob: 0e607a1fae1b811543fb655ec4fba70eb4fb485a (
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
|
@echo off
setlocal
set BGEXE=..\..\Binaries\Boogie.exe
rem set BGEXE=mono ..\..\Binaries\Boogie.exe
%BGEXE% %* /noVerify TypeDecls0.bpl
%BGEXE% %* /noVerify TypeDecls1.bpl
%BGEXE% %* /noVerify Prog0.bpl
%BGEXE% %* /noVerify Prog1.bpl
%BGEXE% %* /noVerify Prog2.bpl
%BGEXE% %* /noVerify PolyFuns0.bpl
%BGEXE% %* /noVerify PolyFuns1.bpl
%BGEXE% %* /noVerify PolyProcs0.bpl
%BGEXE% %* /noVerify TypeSynonyms0.bpl
%BGEXE% %* /noVerify TypeSynonyms1.bpl
%BGEXE% %* TypeSynonyms2.bpl
%BGEXE% %* /noVerify /print:- /env:0 TypeSynonyms0.bpl
%BGEXE% %* /noVerify /print:- /env:0 /printDesugared TypeSynonyms2.bpl
%BGEXE% %* /noVerify PolyPolyPoly.bpl
%BGEXE% %* /noVerify PolyPolyPoly2.bpl
%BGEXE% %* /noVerify ProcParamReordering.bpl
%BGEXE% %* /noVerify ParallelAssignment.bpl
%BGEXE% %* /noVerify ParallelAssignment2.bpl
%BGEXE% %* /noVerify Coercions.bpl
%BGEXE% %* /noVerify EmptySeq.bpl
|
