From 1f0745e08d81b8f0270f79837583971b9676dd67 Mon Sep 17 00:00:00 2001
From: Rustan Leino <unknown>
Date: Wed, 29 May 2013 18:46:32 -0700
Subject: Adjusted Answer file for reordering of errors (caused by a recent bug
 fix in Boogie)

---
 Test/dafny0/Answer | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

(limited to 'Test')

diff --git a/Test/dafny0/Answer b/Test/dafny0/Answer
index 07efab03..6837347f 100644
--- a/Test/dafny0/Answer
+++ b/Test/dafny0/Answer
@@ -721,11 +721,11 @@ Basics.dfy(155,19): Error: assertion violation
 Execution trace:
     (0,0): anon0
     (0,0): anon11_Then
-Basics.dfy(157,10): Error: target object may be null
+Basics.dfy(157,10): Error: assignment may update an object not in the enclosing context's modifies clause
 Execution trace:
     (0,0): anon0
     (0,0): anon3
-Basics.dfy(157,10): Error: assignment may update an object not in the enclosing context's modifies clause
+Basics.dfy(157,10): Error: target object may be null
 Execution trace:
     (0,0): anon0
     (0,0): anon3
@@ -752,19 +752,19 @@ Execution trace:
 Dafny program verifier finished with 37 verified, 11 errors
 
 -------------------- ControlStructures.dfy --------------------
-ControlStructures.dfy(5,3): Error: missing case in case statement: Blue
+ControlStructures.dfy(5,3): Error: missing case in case statement: Purple
 Execution trace:
     (0,0): anon0
     (0,0): anon6_Else
     (0,0): anon7_Else
-    (0,0): anon8_Else
-    (0,0): anon9_Then
-ControlStructures.dfy(5,3): Error: missing case in case statement: Purple
+    (0,0): anon8_Then
+ControlStructures.dfy(5,3): Error: missing case in case statement: Blue
 Execution trace:
     (0,0): anon0
     (0,0): anon6_Else
     (0,0): anon7_Else
-    (0,0): anon8_Then
+    (0,0): anon8_Else
+    (0,0): anon9_Then
 ControlStructures.dfy(14,3): Error: missing case in case statement: Purple
 Execution trace:
     (0,0): anon0
-- 
cgit v1.2.3