1 files changed, 0 insertions, 23 deletions
diff --git a/Test/dafny1/runtest.bat b/Test/dafny1/runtest.bat
deleted file mode 100644
index a49bbf9a..00000000
--- a/Test/dafny1/runtest.bat
+++ /dev/null
@@ -1,23 +0,0 @@
-@echo off
-setlocal
-
-set BOOGIEDIR=..\..\Binaries
-set DAFNY_EXE=%BOOGIEDIR%\Dafny.exe
-
-for %%f in (Queue.dfy PriorityQueue.dfy
-            ExtensibleArray.dfy ExtensibleArrayAuto.dfy
-            BinaryTree.dfy
-            UnboundedStack.dfy
-            SeparationLogicList.dfy
-            ListCopy.dfy ListReverse.dfy ListContents.dfy
-            MatrixFun.dfy pow2.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 (
-  echo.
-  echo -------------------- %%f --------------------
-  %DAFNY_EXE% /compile:0 /vcsMaxKeepGoingSplits:2 /dprint:out.dfy.tmp %* %%f
-)