From 39a8abe0d2d6e4bda54fb3a481b049c19fe1dba9 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Tue, 1 Jul 2014 17:52:52 +0200
Subject: Removed the old test infrastructure.

---
 Test/VSComp2010/Answer      | 20 --------------------
 Test/VSComp2010/runtest.bat | 15 ---------------
 2 files changed, 35 deletions(-)
 delete mode 100644 Test/VSComp2010/Answer
 delete mode 100644 Test/VSComp2010/runtest.bat

(limited to 'Test/VSComp2010')

diff --git a/Test/VSComp2010/Answer b/Test/VSComp2010/Answer
deleted file mode 100644
index ff491aa5..00000000
--- a/Test/VSComp2010/Answer
+++ /dev/null
@@ -1,20 +0,0 @@
-
--------------------- Problem1-SumMax.dfy --------------------
-
-Dafny program verifier finished with 4 verified, 0 errors
-
--------------------- Problem2-Invert.dfy --------------------
-
-Dafny program verifier finished with 7 verified, 0 errors
-
--------------------- Problem3-FindZero.dfy --------------------
-
-Dafny program verifier finished with 7 verified, 0 errors
-
--------------------- Problem4-Queens.dfy --------------------
-
-Dafny program verifier finished with 9 verified, 0 errors
-
--------------------- Problem5-DoubleEndedQueue.dfy --------------------
-
-Dafny program verifier finished with 21 verified, 0 errors
diff --git a/Test/VSComp2010/runtest.bat b/Test/VSComp2010/runtest.bat
deleted file mode 100644
index 2cfcdafb..00000000
--- a/Test/VSComp2010/runtest.bat
+++ /dev/null
@@ -1,15 +0,0 @@
-@echo off
-setlocal
-
-set BINARIES=..\..\Binaries
-set DAFNY_EXE=%BINARIES%\Dafny.exe
-
-%DAFNY_EXE% /compile:0 /verifySeparately %* Problem1-SumMax.dfy Problem2-Invert.dfy Problem3-FindZero.dfy Problem4-Queens.dfy Problem5-DoubleEndedQueue.dfy
-
-rem for %%f in (Problem1-SumMax.dfy Problem2-Invert.dfy
-rem             Problem3-FindZero.dfy Problem4-Queens.dfy
-rem             Problem5-DoubleEndedQueue.dfy) do (
-rem   echo.
-rem   echo -------------------- %%f --------------------
-rem   %DAFNY_EXE% /compile:0 %* %%f
-rem )
-- 
cgit v1.2.3