From f9a64be8ef09ac2160391c91ea8e23e5f389d1f5 Mon Sep 17 00:00:00 2001 From: Rustan Leino Date: Sat, 9 Mar 2013 09:14:29 -0800 Subject: Adjustments in the /vcsMaxKeepGoingSplits flag in the test suite --- Test/dafny1/runtest.bat | 15 ++++++++++++++- 1 file changed, 14 insertions(+), 1 deletion(-) (limited to 'Test/dafny1') diff --git a/Test/dafny1/runtest.bat b/Test/dafny1/runtest.bat index 467bedca..eec45782 100644 --- a/Test/dafny1/runtest.bat +++ b/Test/dafny1/runtest.bat @@ -11,7 +11,20 @@ for %%f in (Queue.dfy PriorityQueue.dfy SeparationLogicList.dfy ListCopy.dfy ListReverse.dfy ListContents.dfy MatrixFun.dfy pow2.dfy - SchorrWaite.dfy SchorrWaite-stages.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 Cubes.dfy SumOfCubes.dfy FindZero.dfy TerminationDemos.dfy Substitution.dfy TreeDatatype.dfy KatzManna.dfy Induction.dfy Rippling.dfy MoreInduction.dfy -- cgit v1.2.3