diff options
Diffstat (limited to 'Test/snapshots/runtest.bat')
-rw-r--r-- | Test/snapshots/runtest.bat | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Test/snapshots/runtest.bat b/Test/snapshots/runtest.bat index 05421b85..663cef07 100644 --- a/Test/snapshots/runtest.bat +++ b/Test/snapshots/runtest.bat @@ -4,4 +4,8 @@ setlocal set BOOGIEDIR=..\..\Binaries
set BGEXE=%BOOGIEDIR%\Boogie.exe
-%BGEXE% %* /verifySnapshots Snapshots0.bpl
+for %%f in (Snapshots0 Snapshots1 Snapshots2 Snapshots3) do (
+ echo.
+ echo -------------------- %%f --------------------
+ %BGEXE% %* /verifySnapshots %%f.bpl
+)
|