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/dafny3/Answer      | 64 -------------------------------------------------
 Test/dafny3/runtest.bat | 19 ---------------
 2 files changed, 83 deletions(-)
 delete mode 100644 Test/dafny3/Answer
 delete mode 100644 Test/dafny3/runtest.bat

(limited to 'Test/dafny3')

diff --git a/Test/dafny3/Answer b/Test/dafny3/Answer
deleted file mode 100644
index 9e8ac835..00000000
--- a/Test/dafny3/Answer
+++ /dev/null
@@ -1,64 +0,0 @@
-
--------------------- Iter.dfy --------------------
-
-Dafny program verifier finished with 15 verified, 0 errors
-
--------------------- Streams.dfy --------------------
-
-Dafny program verifier finished with 52 verified, 0 errors
-
--------------------- Dijkstra.dfy --------------------
-
-Dafny program verifier finished with 12 verified, 0 errors
-
--------------------- CachedContainer.dfy --------------------
-
-Dafny program verifier finished with 47 verified, 0 errors
-
--------------------- SimpleInduction.dfy --------------------
-
-Dafny program verifier finished with 12 verified, 0 errors
-
--------------------- SimpleCoinduction.dfy --------------------
-
-Dafny program verifier finished with 31 verified, 0 errors
-
--------------------- CalcExample.dfy --------------------
-
-Dafny program verifier finished with 6 verified, 0 errors
-
--------------------- InductionVsCoinduction.dfy --------------------
-
-Dafny program verifier finished with 20 verified, 0 errors
-
--------------------- Zip.dfy --------------------
-
-Dafny program verifier finished with 24 verified, 0 errors
-
--------------------- SetIterations.dfy --------------------
-
-Dafny program verifier finished with 13 verified, 0 errors
-
--------------------- Paulson.dfy --------------------
-
-Dafny program verifier finished with 28 verified, 0 errors
-
--------------------- Filter.dfy --------------------
-
-Dafny program verifier finished with 43 verified, 0 errors
-
--------------------- WideTrees.dfy --------------------
-
-Dafny program verifier finished with 10 verified, 0 errors
-
--------------------- InfiniteTrees.dfy --------------------
-
-Dafny program verifier finished with 88 verified, 0 errors
-
--------------------- OpaqueTrees.dfy --------------------
-
-Dafny program verifier finished with 6 verified, 0 errors
-
--------------------- GenericSort.dfy --------------------
-
-Dafny program verifier finished with 36 verified, 0 errors
diff --git a/Test/dafny3/runtest.bat b/Test/dafny3/runtest.bat
deleted file mode 100644
index 41971d4e..00000000
--- a/Test/dafny3/runtest.bat
+++ /dev/null
@@ -1,19 +0,0 @@
-@echo off
-setlocal
-
-set BINARIES=..\..\Binaries
-set DAFNY_EXE=%BINARIES%\Dafny.exe
-
-%DAFNY_EXE% /compile:0 /verifySeparately /dprint:out.dfy.tmp %* Iter.dfy Streams.dfy Dijkstra.dfy CachedContainer.dfy SimpleInduction.dfy SimpleCoinduction.dfy CalcExample.dfy InductionVsCoinduction.dfy Zip.dfy SetIterations.dfy Paulson.dfy Filter.dfy WideTrees.dfy InfiniteTrees.dfy OpaqueTrees.dfy GenericSort.dfy
-
-rem for %%f in (
-rem   Iter.dfy Streams.dfy Dijkstra.dfy CachedContainer.dfy
-rem   SimpleInduction.dfy SimpleCoinduction.dfy CalcExample.dfy
-rem   InductionVsCoinduction.dfy Zip.dfy SetIterations.dfy
-rem   Paulson.dfy Filter.dfy WideTrees.dfy InfiniteTrees.dfy
-rem   OpaqueTrees.dfy GenericSort.dfy
-rem ) do (
-rem   echo.
-rem   echo -------------------- %%f --------------------
-rem   %DAFNY_EXE% /compile:0 /dprint:out.dfy.tmp %* %%f
-rem )
-- 
cgit v1.2.3