From f48f5e1cef6482557d3f90677c5e41b75b2092b4 Mon Sep 17 00:00:00 2001
From: Rustan Leino <unknown>
Date: Tue, 1 Mar 2016 16:24:26 -0800
Subject: Added test case to go with the recent fix of Issue #49 (changeset
 f354709009a5).

---
 Test/dafny4/Bug49.dfy.expect | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 Test/dafny4/Bug49.dfy.expect

(limited to 'Test/dafny4/Bug49.dfy.expect')

diff --git a/Test/dafny4/Bug49.dfy.expect b/Test/dafny4/Bug49.dfy.expect
new file mode 100644
index 00000000..653dda07
--- /dev/null
+++ b/Test/dafny4/Bug49.dfy.expect
@@ -0,0 +1,8 @@
+
+Dafny program verifier finished with 21 verified, 0 errors
+Program compiled successfully
+Running...
+
+6
+6
+5
-- 
cgit v1.2.3