Removed the old test infrastructure.

2 files changed, 0 insertions, 47 deletions

diff --git a/Test/vstte2012/Answer b/Test/vstte2012/Answer
deleted file mode 100644
index 43eddcb1..00000000
--- a/Test/vstte2012/Answer
+++ /dev/null
@@ -1,24 +0,0 @@
-

--------------------- Two-Way-Sort.dfy --------------------

-

-Dafny program verifier finished with 4 verified, 0 errors

-

--------------------- Combinators.dfy --------------------

-

-Dafny program verifier finished with 25 verified, 0 errors

-

--------------------- RingBuffer.dfy --------------------

-

-Dafny program verifier finished with 13 verified, 0 errors

-

--------------------- RingBufferAuto.dfy --------------------

-

-Dafny program verifier finished with 13 verified, 0 errors

-

--------------------- Tree.dfy --------------------

-

-Dafny program verifier finished with 15 verified, 0 errors

-

--------------------- BreadthFirstSearch.dfy --------------------

-

-Dafny program verifier finished with 22 verified, 0 errors

diff --git a/Test/vstte2012/runtest.bat b/Test/vstte2012/runtest.bat
deleted file mode 100644
index 7e597fd4..00000000
--- a/Test/vstte2012/runtest.bat
+++ /dev/null
@@ -1,23 +0,0 @@
-@echo off

-setlocal

-

-set BINARIES=..\..\Binaries

-set DAFNY_EXE=%BINARIES%\Dafny.exe

-

-%DAFNY_EXE% /compile:0 /dprint:out.dfy.tmp /verifySeparately %* Two-Way-Sort.dfy Combinators.dfy RingBuffer.dfy RingBufferAuto.dfy Tree.dfy

-

-echo.

-echo -------------------- BreadthFirstSearch.dfy --------------------

-%DAFNY_EXE% /compile:0 /dprint:out.dfy.tmp /vcsMaxKeepGoingSplits:10 %* BreadthFirstSearch.dfy

-

-rem for %%f in (

-rem     Two-Way-Sort.dfy

-rem     Combinators.dfy

-rem     RingBuffer.dfy RingBufferAuto.dfy

-rem     Tree.dfy

-rem     BreadthFirstSearch.dfy

-rem   ) do (

-rem   echo.

-rem   echo -------------------- %%f --------------------

-rem   %DAFNY_EXE% /compile:0 /dprint:out.dfy.tmp %* %%f

-rem )