diff options
Diffstat (limited to 'Test/dafny0/Answer')
| -rw-r--r-- | Test/dafny0/Answer | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Test/dafny0/Answer b/Test/dafny0/Answer index a95eff5e..c2ecdcf4 100644 --- a/Test/dafny0/Answer +++ b/Test/dafny0/Answer @@ -1283,8 +1283,11 @@ Coinductive.dfy(61,11): Error: because of cyclic dependencies among constructor Corecursion.dfy(15,13): Error: failure to decrease termination measure (note that only functions without side effects can called co-recursively)
Execution trace:
(0,0): anon3_Else
+Corecursion.dfy(50,5): Error: cannot prove termination; try supplying a decreases clause
+Execution trace:
+ (0,0): anon3_Else
-Dafny program verifier finished with 2 verified, 1 error
+Dafny program verifier finished with 5 verified, 2 errors
-------------------- TypeAntecedents.dfy --------------------
TypeAntecedents.dfy(32,13): Error: assertion violation
|