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 b7cb641a..7821e39c 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 Snapshots4.bpl Snapshots5.bpl
+%BGEXE% %* /verifySnapshots /verifySeparately Snapshots0.bpl Snapshots1.bpl Snapshots2.bpl Snapshots3.bpl Snapshots4.bpl Snapshots5.bpl Snapshots6.bpl Snapshots7.bpl
|