diff options
| author |  Rustan Leino <leino@microsoft.com> | 2011-10-26 19:14:30 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2011-10-26 19:14:30 -0700 |
| commit | 455e5c39efc2629bf0cb526ee503492476a9ec51 (patch) | |
| tree | 593ce4eb0ab54a1afa37f9e02a1b60fc1c4e0190 /Test/dafny2/Answer | |
| parent | 3d2bdaf737810142e8685296813562e7e29c9952 (diff) | |
Dafny: Commented out SnapshotableTrees.Node.FunctionalInsert while performance issues with the prover and going into SMTLib2 mode are being investigated.
Diffstat (limited to 'Test/dafny2/Answer')
| -rw-r--r-- | Test/dafny2/Answer | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/dafny2/Answer b/Test/dafny2/Answer index 81db547b..cc2e8acb 100644 --- a/Test/dafny2/Answer +++ b/Test/dafny2/Answer @@ -1,7 +1,7 @@ -------------------- SnapshotableTrees.dfy --------------------
-Dafny program verifier finished with 37 verified, 0 errors
+Dafny program verifier finished with 36 verified, 0 errors
-------------------- TreeBarrier.dfy --------------------
|