blob: dbd3cb8c0450b85bc5f45963f140c22cae8685b3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
@echo off
setlocal
set BGEXE=..\..\Binaries\Boogie.exe
rem set BGEXE=mono ..\..\Binaries\Boogie.exe
%BGEXE% %* /noinfer /useArrayTheory bla1.bpl
%BGEXE% %* /noinfer /useArrayTheory daytona_bug2_ioctl_example_1.bpl
%BGEXE% %* /noinfer /useArrayTheory daytona_bug2_ioctl_example_2.bpl
%BGEXE% %* /noinfer /useArrayTheory stack_overflow.bpl
%BGEXE% %* /noinfer /useArrayTheory NestedOneDimensionalMap.bpl
%BGEXE% %* /noinfer /useArrayTheory TwoDimensionalMap.bpl
|
