diff options
| author |  rustanleino <unknown> | 2010-03-31 22:17:44 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2010-03-31 22:17:44 +0000 |
| commit | 1363bda4391d9d51c70b424794b1550867eba7b2 (patch) | |
| tree | 65852eafc94dfc4d8e0b7dfe290f321831f04c74 /Test/dafny0/Answer | |
| parent | b58961dc4485114212cc6948d0e966bf73087685 (diff) | |
Dafny:
* Added match statements (in addition to the previous match expressions)
* Added missing axiom about boxes and datatypes
* Improved axioms for datatype rank comparisons
* Added test cases with mutual-recursion termination challenges
Diffstat (limited to 'Test/dafny0/Answer')
| -rw-r--r-- | Test/dafny0/Answer | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Test/dafny0/Answer b/Test/dafny0/Answer index f77d2fd4..8758ec69 100644 --- a/Test/dafny0/Answer +++ b/Test/dafny0/Answer @@ -389,3 +389,11 @@ Dafny program verifier finished with 17 verified, 0 errors -------------------- TerminationDemos.dfy --------------------
Dafny program verifier finished with 10 verified, 0 errors
+
+-------------------- Substitution.dfy --------------------
+
+Dafny program verifier finished with 12 verified, 0 errors
+
+-------------------- Tree.dfy --------------------
+
+Dafny program verifier finished with 6 verified, 0 errors
|