diff options
Diffstat (limited to 'Test/dafny3/runtest.bat')
-rw-r--r-- | Test/dafny3/runtest.bat | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Test/dafny3/runtest.bat b/Test/dafny3/runtest.bat index 40992f28..8abf2bd3 100644 --- a/Test/dafny3/runtest.bat +++ b/Test/dafny3/runtest.bat @@ -4,14 +4,14 @@ setlocal set BINARIES=..\..\Binaries
set DAFNY_EXE=%BINARIES%\Dafny.exe
-%DAFNY_EXE% /compile:0 /verifySeparately %* Iter.dfy Streams.dfy Dijkstra.dfy CachedContainer.dfy SimpleInduction.dfy SimpleCoinduction.dfy CalcExample.dfy InductionVsCoinduction.dfy Zip.dfy SetIterations.dfy Paulson.dfy Filter.dfy WideTrees.dfy InfiniteTrees.dfy OpaqueTrees.dfy
+%DAFNY_EXE% /compile:0 /verifySeparately %* Iter.dfy Streams.dfy Dijkstra.dfy CachedContainer.dfy SimpleInduction.dfy SimpleCoinduction.dfy CalcExample.dfy InductionVsCoinduction.dfy Zip.dfy SetIterations.dfy Paulson.dfy Filter.dfy WideTrees.dfy InfiniteTrees.dfy OpaqueTrees.dfy GenericSort.dfy
rem for %%f in (
rem Iter.dfy Streams.dfy Dijkstra.dfy CachedContainer.dfy
rem SimpleInduction.dfy SimpleCoinduction.dfy CalcExample.dfy
rem InductionVsCoinduction.dfy Zip.dfy SetIterations.dfy
rem Paulson.dfy Filter.dfy WideTrees.dfy InfiniteTrees.dfy
-rem OpaqueTrees.dfy
+rem OpaqueTrees.dfy GenericSort.dfy
rem ) do (
rem echo.
rem echo -------------------- %%f --------------------
|