From 1a7842037a68d67db494b060dc73cad60aa31332 Mon Sep 17 00:00:00 2001
From: mschwerhoff <unknown>
Date: Tue, 6 Jul 2010 12:19:26 +0000
Subject: Added a comment noting that this test fails with Z3 2.4.

---
 Test/VSI-Benchmarks/b4.dfy | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'Test/VSI-Benchmarks')

diff --git a/Test/VSI-Benchmarks/b4.dfy b/Test/VSI-Benchmarks/b4.dfy
index 80d6b8d6..ebaeab84 100644
--- a/Test/VSI-Benchmarks/b4.dfy
+++ b/Test/VSI-Benchmarks/b4.dfy
@@ -1,3 +1,8 @@
+/*
+	This test fails with Z3 2.4 (on Win7 x64) and works
+	with Z3 2.9 (on Win7 x64). Other versions ... who knows.
+*/
+
 // Note: We are using the built-in equality to compare keys.
 // Note: The abstract specifications would do well with a map from keys
 // to values.  However, Dafny does not support maps.  Instead, such a
-- 
cgit v1.2.3