diff options
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
|