diff options
Diffstat (limited to 'Test/snapshots/runtest.bat')
| -rw-r--r-- | Test/snapshots/runtest.bat | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/Test/snapshots/runtest.bat b/Test/snapshots/runtest.bat index 05421b85..fa45d56a 100644 --- a/Test/snapshots/runtest.bat +++ b/Test/snapshots/runtest.bat @@ -1,7 +1,17 @@ +
@echo off
setlocal
set BOOGIEDIR=..\..\Binaries
set BGEXE=%BOOGIEDIR%\Boogie.exe
+echo -------------------- Snapshots0.bpl --------------------
%BGEXE% %* /verifySnapshots Snapshots0.bpl
+
+echo.
+echo -------------------- Snapshots1.bpl --------------------
+%BGEXE% %* /verifySnapshots Snapshots1.bpl
+
+echo.
+echo -------------------- Snapshots2.bpl --------------------
+%BGEXE% %* /verifySnapshots Snapshots2.bpl
|