Test/aitest0/runtest.bat


1
2
3
4
5
6

@echo off
setlocal

set BGEXE=..\..\Binaries\Boogie.exe

%BGEXE% %* -infer:c -instrumentInfer:e -printInstrumented -noVerify constants.bpl