projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5527b0c) | patch
Some defensive programming at destruction time, and fix a latent dangling pointer...
authorMorgan Deters <mdeters@cs.nyu.edu>
Sat, 11 Oct 2014 17:00:36 +0000 (13:00 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Sat, 11 Oct 2014 17:00:36 +0000 (13:00 -0400)
commit0189f4b0e62edefa2b93f9bd4991a0c15c6cc3d5
treebfc3068f94b08816167ee396e77c3369ddc8953dtree
parent5527b0c00639f24b11d5e1d4c69050d908b82400commit | diff
Some defensive programming at destruction time, and fix a latent dangling pointer bug.
src/expr/expr_manager_template.cpp diff | blob | history
src/expr/node_manager.cpp diff | blob | history
src/smt/smt_engine.cpp diff | blob | history