Dafny: adjusted Answer file for reordering

1 files changed, 7 insertions, 7 deletions

diff --git a/Test/dafny0/Answer b/Test/dafny0/Answer
index f586aa8b..ee455e7b 100644
--- a/Test/dafny0/Answer
+++ b/Test/dafny0/Answer
@@ -332,10 +332,10 @@ Execution trace:
 Definedness.dfy(86,5): Error: possible violation of function precondition

 Execution trace:

     (0,0): anon0

-Definedness.dfy(86,10): Error: assignment may update an object not in the enclosing context's modifies clause

+Definedness.dfy(86,10): Error: target object may be null

 Execution trace:

     (0,0): anon0

-Definedness.dfy(86,10): Error: target object may be null

+Definedness.dfy(86,10): Error: assignment may update an object not in the enclosing context's modifies clause

 Execution trace:

     (0,0): anon0

 Definedness.dfy(87,10): Error: possible violation of function precondition

@@ -872,19 +872,19 @@ Execution trace:
 Dafny program verifier finished with 32 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