1 2 3 4 5 6 7
@echo off setlocal set BGEXE=..\..\Binaries\Boogie.exe %BGEXE% %* -infer:c -instrumentInfer:e -printInstrumented -noVerify constants.bpl %BGEXE% %* -infer:j Intervals.bpl