From 44410d563fbd1e9d637ca657fc90a6c84863a3d0 Mon Sep 17 00:00:00 2001
From: Jason Koenig <unknown>
Date: Thu, 28 Jun 2012 17:28:14 -0700
Subject: Dafny: fixed up test suite (temporarily removed autocontract tests)

---
 Test/vstte2012/Answer      | 4 ----
 Test/vstte2012/runtest.bat | 3 ++-
 2 files changed, 2 insertions(+), 5 deletions(-)

(limited to 'Test/vstte2012')

diff --git a/Test/vstte2012/Answer b/Test/vstte2012/Answer
index bca270c3..15a95de1 100644
--- a/Test/vstte2012/Answer
+++ b/Test/vstte2012/Answer
@@ -11,10 +11,6 @@ Dafny program verifier finished with 25 verified, 0 errors
 
 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
diff --git a/Test/vstte2012/runtest.bat b/Test/vstte2012/runtest.bat
index 7f7c9b9f..cda455fa 100644
--- a/Test/vstte2012/runtest.bat
+++ b/Test/vstte2012/runtest.bat
@@ -4,10 +4,11 @@ setlocal
 set BOOGIEDIR=..\..\Binaries
 set DAFNY_EXE=%BOOGIEDIR%\Dafny.exe
 
+REM removed for now: RingBufferAuto.dfy
 for %%f in (
     Two-Way-Sort.dfy
     Combinators.dfy
-    RingBuffer.dfy RingBufferAuto.dfy
+    RingBuffer.dfy 
     Tree.dfy
     BreadthFirstSearch.dfy
   ) do (
-- 
cgit v1.2.3