diff options
| author |  Rustan Leino <leino@microsoft.com> | 2012-10-19 22:55:54 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2012-10-19 22:55:54 -0700 |
| commit | 5a83f112c46196e2a48cb88796751d1a131df122 (patch) | |
| tree | b52d63e4aec99c51fcd7e2790af581a87483f6d3 /Test/dafny3/Answer | |
| parent | f8e36475b2abbf642408a8aae0bbce70ab7c86dd (diff) | |
Test cases for co-inductive proofs, and an axiom that makes some of them possible
Diffstat (limited to 'Test/dafny3/Answer')
| -rw-r--r-- | Test/dafny3/Answer | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Test/dafny3/Answer b/Test/dafny3/Answer index 3c339054..ae65e2d9 100644 --- a/Test/dafny3/Answer +++ b/Test/dafny3/Answer @@ -2,3 +2,7 @@ -------------------- Iter.dfy --------------------
Dafny program verifier finished with 15 verified, 0 errors
+
+-------------------- Streams.dfy --------------------
+
+Dafny program verifier finished with 38 verified, 0 errors
|