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/dafny0/NonGhostQuantifiers.dfy | |
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/dafny0/NonGhostQuantifiers.dfy')
0 files changed, 0 insertions, 0 deletions