diff options
Diffstat (limited to 'Test/aitest0/runtest.bat')
| -rw-r--r-- | Test/aitest0/runtest.bat | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Test/aitest0/runtest.bat b/Test/aitest0/runtest.bat new file mode 100644 index 00000000..15f36ab0 --- /dev/null +++ b/Test/aitest0/runtest.bat @@ -0,0 +1,6 @@ +@echo off
+setlocal
+
+set BGEXE=..\..\Binaries\Boogie.exe
+
+%BGEXE% %* -infer:c -printInstrumented -noVerify constants.bpl
|