From 4fc18b2fe45c9a29cb0b8fe93d3102cec9c83194 Mon Sep 17 00:00:00 2001
From: rustanleino <unknown>
Date: Tue, 12 Oct 2010 00:13:50 +0000
Subject: Boogie: * enhanced the printing of captured states * addressed some
 warnings issued by VS 2010 * some code formatting

---
 Test/test15/Answer | 21 +++------------------
 1 file changed, 3 insertions(+), 18 deletions(-)

(limited to 'Test/test15')

diff --git a/Test/test15/Answer b/Test/test15/Answer
index 825df64f..974f24fc 100644
--- a/Test/test15/Answer
+++ b/Test/test15/Answer
@@ -199,36 +199,21 @@ Execution trace:
     CaptureState.bpl(16,5): anon4_Then
     CaptureState.bpl(24,5): anon3
 Captured states:
-    top
         Heap = *8
         F = *10
         this = *9
-        x = x
-        y = y
+        x = 797
+        y = y@@1
+    top
         r = r
         m = -2
     then
-        Heap = *8
-        F = *10
-        this = *9
-        x = x
-        y = y
         r = r
         m = -1
     postUpdate0
-        Heap = *8
-        F = *10
-        this = *9
-        x = x
-        y = y
         r = r
         m = -1
     end
-        Heap = *8
-        F = *10
-        this = *9
-        x = x
-        y = y
         r = -2
         m = -1
 
-- 
cgit v1.2.3