From a3325de0835308c293e999b574a804366f37d936 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Fri, 16 Jan 2015 12:21:49 +0100
Subject: Worked on the verification result caching (use native support for
 partially verified assertions).

---
 Test/snapshots/runtest.snapshot.expect | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Test/snapshots')

diff --git a/Test/snapshots/runtest.snapshot.expect b/Test/snapshots/runtest.snapshot.expect
index 88dd1a1f..5d641f98 100644
--- a/Test/snapshots/runtest.snapshot.expect
+++ b/Test/snapshots/runtest.snapshot.expect
@@ -466,7 +466,7 @@ Processing command (at Snapshots24.v1.bpl(11,9)) assert {:subsumption 1} 5 == 5;
 Processing command (at Snapshots24.v1.bpl(15,9)) assert {:subsumption 2} 6 != 6;
   >>> RecycleError
 Processing command (at Snapshots24.v1.bpl(19,9)) assert {:subsumption 1} 2 == 2;
-  >>> DoNothingToAssert
+  >>> MarkAsFullyVerified
 Processing command (at Snapshots24.v1.bpl(20,9)) assert {:subsumption 2} 4 == 4;
   >>> MarkAsFullyVerified
 Processing command (at Snapshots24.v1.bpl(21,9)) assert 5 == 5;
-- 
cgit v1.2.3