From 486a0227c6d7864371265909f369f0ea3fd4851f Mon Sep 17 00:00:00 2001
From: Rustan Leino <leino@microsoft.com>
Date: Tue, 14 Aug 2012 11:53:43 -0700
Subject: Also updated test15

---
 Test/test15/Answer | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'Test/test15')

diff --git a/Test/test15/Answer b/Test/test15/Answer
index 473af09b..ae010dc9 100644
--- a/Test/test15/Answer
+++ b/Test/test15/Answer
@@ -114,11 +114,11 @@ Execution trace:
     CaptureState.bpl(16,5): anon4_Then
     CaptureState.bpl(24,5): anon3
 *** MODEL
-%lbl%@334 -> false
-%lbl%+110 -> true
+%lbl%@336 -> false
 %lbl%+112 -> true
-%lbl%+116 -> true
-%lbl%+189 -> true
+%lbl%+114 -> true
+%lbl%+118 -> true
+%lbl%+191 -> true
 @MV_state_const -> 6
 boolType -> T@T!val!1
 F -> T@U!val!2
-- 
cgit v1.2.3