runtest.bat « aitest0 « Test - debian-boogie - Debian packaging for Boogie

summary refs log tree commit diff

path: root/Test/aitest0/runtest.bat

blob: 15f36ab00df1be0655788ebdabc47c5b0d583352 (plain)

@echo off
setlocal

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

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