diff options
| author |  wuestholz <unknown> | 2013-07-05 16:35:09 -0700 |
|---|---|---|
| committer | wuestholz <unknown> | 2013-07-05 16:35:09 -0700 |
| commit | 931faf9fc5471132402c40741b9697dae6545080 (patch) | |
| tree | 05be73c19ef46a6d00ca2c6ca94bf9f4083a3f05 /Test/dafny1 | |
| parent | f6b968211a8579a0989226f3cd8d2a419d06fd1e (diff) | |
Deactivated VC splitting in the tests.
Diffstat (limited to 'Test/dafny1')
| -rw-r--r-- | Test/dafny1/runtest.bat | 20 |
1 files changed, 4 insertions, 16 deletions
diff --git a/Test/dafny1/runtest.bat b/Test/dafny1/runtest.bat index eec45782..5a43205f 100644 --- a/Test/dafny1/runtest.bat +++ b/Test/dafny1/runtest.bat @@ -11,26 +11,14 @@ for %%f in (Queue.dfy PriorityQueue.dfy SeparationLogicList.dfy
ListCopy.dfy ListReverse.dfy ListContents.dfy
MatrixFun.dfy pow2.dfy
- ) do (
- echo.
- echo -------------------- %%f --------------------
- %DAFNY_EXE% /compile:0 /vcsMaxKeepGoingSplits:2 /dprint:out.dfy.tmp %* %%f
-)
-
-REM ShorrWaite takes a lot longer with /vcsMaxKeepGoingSplits:2, so run it without
-for %%f in (SchorrWaite.dfy) do (
- echo.
- echo -------------------- %%f --------------------
- %DAFNY_EXE% /compile:0 /dprint:out.dfy.tmp %* %%f
-)
-
-for %%f in (SchorrWaite-stages.dfy
+ SchorrWaite.dfy SchorrWaite-stages.dfy
Cubes.dfy SumOfCubes.dfy FindZero.dfy
TerminationDemos.dfy Substitution.dfy TreeDatatype.dfy KatzManna.dfy
Induction.dfy Rippling.dfy MoreInduction.dfy
Celebrity.dfy BDD.dfy
- UltraFilter.dfy) do (
+ UltraFilter.dfy
+ ) do (
echo.
echo -------------------- %%f --------------------
- %DAFNY_EXE% /compile:0 /vcsMaxKeepGoingSplits:2 /dprint:out.dfy.tmp %* %%f
+ %DAFNY_EXE% /compile:0 /dprint:out.dfy.tmp %* %%f
)
|