From e6994bfa0d98f4b08722c0ee805ee01f2ce0263d Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Wed, 9 Jul 2014 19:17:57 +0200
Subject: Worked on the more advanced verification result caching.

---
 Test/dafny0/snapshots/runtest.snapshot.expect | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

(limited to 'Test/dafny0/snapshots/runtest.snapshot.expect')

diff --git a/Test/dafny0/snapshots/runtest.snapshot.expect b/Test/dafny0/snapshots/runtest.snapshot.expect
index 87827811..963ba754 100644
--- a/Test/dafny0/snapshots/runtest.snapshot.expect
+++ b/Test/dafny0/snapshots/runtest.snapshot.expect
@@ -25,3 +25,17 @@ Execution trace:
     (0,0): anon0
 
 Dafny program verifier finished with 5 verified, 1 error
+
+-------------------- Snapshots3.dfy --------------------
+Snapshots3.v0.dfy(9,14): Error: assertion violation
+Execution trace:
+    (0,0): anon0
+    (0,0): anon3_Else
+
+Dafny program verifier finished with 1 verified, 1 error
+Snapshots3.v1.dfy(9,14): Error: assertion violation
+Execution trace:
+    (0,0): anon0
+    (0,0): anon3_Else
+
+Dafny program verifier finished with 1 verified, 1 error
-- 
cgit v1.2.3