diff options
Diffstat (limited to 'Test/dafny0/Answer')
| -rw-r--r-- | Test/dafny0/Answer | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Test/dafny0/Answer b/Test/dafny0/Answer index a5c48e9a..c738f058 100644 --- a/Test/dafny0/Answer +++ b/Test/dafny0/Answer @@ -1795,12 +1795,12 @@ Calculations.dfy(8,17): Error: assertion violation Execution trace:
(0,0): anon0
(0,0): anon13_Then
-Calculations.dfy(36,11): Error: assertion violation
+Calculations.dfy(42,11): Error: assertion violation
Execution trace:
(0,0): anon0
- Calculations.dfy(31,2): anon5_Else
+ Calculations.dfy(37,2): anon5_Else
-Dafny program verifier finished with 4 verified, 4 errors
+Dafny program verifier finished with 5 verified, 4 errors
-------------------- IteratorResolution.dfy --------------------
IteratorResolution.dfy(59,11): Error: LHS of assignment does not denote a mutable field
|