From 9973fcca56f1c6345ac2697210f2f3c7662f5c30 Mon Sep 17 00:00:00 2001
From: rustanleino <unknown>
Date: Thu, 6 May 2010 20:28:29 +0000
Subject: Dafny: * First crack at a compiler (/compile:1 writes out.cs, if
 Dafny program verifies) * Added "print" statement (to make running compiled
 programs more interesting) * Changed name of default class from $default to
 _default Boogie: * Included "lambda" as a keyword in emacs and latex style
 files

---
 Test/VSI-Benchmarks/Answer | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Test/VSI-Benchmarks/Answer')

diff --git a/Test/VSI-Benchmarks/Answer b/Test/VSI-Benchmarks/Answer
index a0ae9d01..926a4da3 100644
--- a/Test/VSI-Benchmarks/Answer
+++ b/Test/VSI-Benchmarks/Answer
@@ -1,11 +1,11 @@
 
 -------------------- b1.dfy --------------------
 
-Dafny program verifier finished with 4 verified, 0 errors
+Dafny program verifier finished with 10 verified, 0 errors
 
 -------------------- b2.dfy --------------------
 
-Dafny program verifier finished with 6 verified, 0 errors
+Dafny program verifier finished with 8 verified, 0 errors
 
 -------------------- b3.dfy --------------------
 
-- 
cgit v1.2.3