diff options
Diffstat (limited to 'Test/dafny0/Answer')
| -rw-r--r-- | Test/dafny0/Answer | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/Test/dafny0/Answer b/Test/dafny0/Answer index 9025e206..bde6a07c 100644 --- a/Test/dafny0/Answer +++ b/Test/dafny0/Answer @@ -1620,7 +1620,12 @@ IteratorResolution.dfy(56,11): Error: LHS of assignment does not denote a mutabl IteratorResolution.dfy(57,11): Error: LHS of assignment does not denote a mutable field
IteratorResolution.dfy(61,18): Error: arguments must have the same type (got _T0 and int)
IteratorResolution.dfy(73,19): Error: RHS (of type bool) not assignable to LHS (of type int)
-4 resolution/type errors detected in IteratorResolution.dfy
+IteratorResolution.dfy(76,13): Error: when allocating an object of type 'GenericIteratorResult', one of its constructor methods must be called
+5 resolution/type errors detected in IteratorResolution.dfy
+
+-------------------- Iterators.dfy --------------------
+
+Dafny program verifier finished with 8 verified, 0 errors
-------------------- Superposition.dfy --------------------
|