diff options
| author |  Rustan Leino <unknown> | 2013-05-29 18:46:32 -0700 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2013-05-29 18:46:32 -0700 |
| commit | 1f0745e08d81b8f0270f79837583971b9676dd67 (patch) | |
| tree | f52473c3ee859bb67e9cc0dc8b85c2d8d43096f4 /Test | |
| parent | 519b8c2b8add0686640adf909d1b0c382964f47e (diff) | |
Adjusted Answer file for reordering of errors (caused by a recent bug fix in Boogie)
Diffstat (limited to 'Test')
| -rw-r--r-- | Test/dafny0/Answer | 14 |
1 files changed, 7 insertions, 7 deletions
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
|