From 9e7a1c3d7cc7d4f077a36593eedce6f7a5accf22 Mon Sep 17 00:00:00 2001
From: Jason Koenig <unknown>
Date: Mon, 2 Jul 2012 11:51:44 -0700
Subject: Dafny: reinstated autocontracts

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

(limited to 'Test/vstte2012')

diff --git a/Test/vstte2012/Answer b/Test/vstte2012/Answer
index 15a95de1..bca270c3 100644
--- a/Test/vstte2012/Answer
+++ b/Test/vstte2012/Answer
@@ -11,6 +11,10 @@ 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 cda455fa..7f7c9b9f 100644
--- a/Test/vstte2012/runtest.bat
+++ b/Test/vstte2012/runtest.bat
@@ -4,11 +4,10 @@ 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 
+    RingBuffer.dfy RingBufferAuto.dfy
     Tree.dfy
     BreadthFirstSearch.dfy
   ) do (
-- 
cgit v1.2.3