From ddede5ad5f9236d8ee4e1e75ba3ecfd7077d9296 Mon Sep 17 00:00:00 2001
From: rustanleino <unknown>
Date: Thu, 5 Nov 2009 01:24:43 +0000
Subject: Introduced operator !in in Dafny.  An expression "x !in S" is
 equivalent to "!(x in S)". Changed Dafny test files to use the new operator.
 Included the file b8.dfy into the VSI-Benchmarks test harness.

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

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

diff --git a/Test/VSI-Benchmarks/Answer b/Test/VSI-Benchmarks/Answer
index 0149855c..a9fd2367 100644
--- a/Test/VSI-Benchmarks/Answer
+++ b/Test/VSI-Benchmarks/Answer
@@ -26,3 +26,7 @@ Dafny program verifier finished with 12 verified, 0 errors
 -------------------- b7.dfy --------------------
 
 Dafny program verifier finished with 11 verified, 0 errors
+
+-------------------- b8.dfy --------------------
+
+Dafny program verifier finished with 21 verified, 0 errors
-- 
cgit v1.2.3