diff options
author | 2011-10-26 19:14:30 -0700 | |
---|---|---|
committer | 2011-10-26 19:14:30 -0700 | |
commit | 455e5c39efc2629bf0cb526ee503492476a9ec51 (patch) | |
tree | 593ce4eb0ab54a1afa37f9e02a1b60fc1c4e0190 /Test/textbook/McCarthy-91.bpl | |
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/textbook/McCarthy-91.bpl')
0 files changed, 0 insertions, 0 deletions