diff options
Diffstat (limited to 'Test/inline/runtest.bat')
| -rw-r--r-- | Test/inline/runtest.bat | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Test/inline/runtest.bat b/Test/inline/runtest.bat index 3040d5b0..209845e6 100644 --- a/Test/inline/runtest.bat +++ b/Test/inline/runtest.bat @@ -3,6 +3,11 @@ setlocal set BGEXE=..\..\Binaries\Boogie.exe
+for %%f in (test0.bpl) do (
+ echo -------------------- %%f --------------------
+ %BGEXE% %* %%f
+)
+
for %%f in (test1.bpl test2.bpl test3.bpl test4.bpl) do (
echo -------------------- %%f --------------------
%BGEXE% %* /inline:b /print:- /env:0 /printInlined /noinfer %%f
|