diff options
| -rw-r--r-- | Test/sanity/runtest.bat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/sanity/runtest.bat b/Test/sanity/runtest.bat index f05e832e..8b790109 100644 --- a/Test/sanity/runtest.bat +++ b/Test/sanity/runtest.bat @@ -5,5 +5,5 @@ set BOOGIEDIR=..\..\Binaries set BGEXE=%BOOGIEDIR%\Boogie.exe
set DAFNY_EXE=%BOOGIEDIR%\Dafny.exe
-%BGEXE% %* /noVerify ..\textbook\bubble.bpl
+%BGEXE% %* ..\textbook\bubble.bpl
%DAFNY_EXE% /compile:0 %* ..\dafny1\Celebrity.dfy
\ No newline at end of file |