diff options
Diffstat (limited to 'Test/snapshots/runtest.bat')
| -rw-r--r-- | Test/snapshots/runtest.bat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/snapshots/runtest.bat b/Test/snapshots/runtest.bat index e54a19bc..b7cb641a 100644 --- a/Test/snapshots/runtest.bat +++ b/Test/snapshots/runtest.bat @@ -4,5 +4,5 @@ setlocal set BOOGIEDIR=..\..\Binaries
set BGEXE=%BOOGIEDIR%\Boogie.exe
-%BGEXE% %* /verifySnapshots /verifySeparately Snapshots0.bpl Snapshots1.bpl Snapshots2.bpl Snapshots3.bpl
+%BGEXE% %* /verifySnapshots /verifySeparately Snapshots0.bpl Snapshots1.bpl Snapshots2.bpl Snapshots3.bpl Snapshots4.bpl Snapshots5.bpl
|