From 931faf9fc5471132402c40741b9697dae6545080 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Fri, 5 Jul 2013 16:35:09 -0700
Subject: Deactivated VC splitting in the tests.

---
 Test/dafny1/runtest.bat | 20 ++++----------------
 1 file changed, 4 insertions(+), 16 deletions(-)

(limited to 'Test/dafny1')

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
 )
-- 
cgit v1.2.3