projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 557d4c2) | patch
fix memory corruption issue in debug builds that led to unhelpful output
authorMorgan Deters <mdeters@gmail.com>
Sat, 1 Dec 2012 13:47:50 +0000 (13:47 +0000)
committerMorgan Deters <mdeters@gmail.com>
Sat, 1 Dec 2012 13:47:50 +0000 (13:47 +0000)
commit265765c9f5c35c4b65934e574dbfabab97b15f7a
treecfbd7583bc0a17ce66d9e182d370c057ef8d5bf2tree
parent557d4c2d3dd0f9f0210b9438c952903635248357commit | diff
fix memory corruption issue in debug builds that led to unhelpful output
src/expr/node.cpp diff | blob | history