diff options
author | 2013-06-18 17:47:31 +0100 | |
---|---|---|
committer | 2013-06-18 17:47:31 +0100 | |
commit | 53ad8fce7769a94426da4f42b319cb1b1007e1f4 (patch) | |
tree | baf4cdad243b3b189a872f2dc8f2323e560ad1a1 /Test/snapshots/runtest.bat | |
parent | 471a652e56da9b8d24a72d77688c360abf613bef (diff) | |
parent | 1dbf5b70208239a9beb9c645ee0430e5438e03c5 (diff) |
Merge
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
+)
|