projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d6ef538) | patch
Fix destruction issue in GetValueCommand leading to crash.
authorMorgan Deters <mdeters@cs.nyu.edu>
Fri, 17 May 2013 14:38:03 +0000 (10:38 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Fri, 17 May 2013 14:38:03 +0000 (10:38 -0400)
commit95d34f3faf67870d6a0fafd72b47b1be2915cd21
tree767f98c3631e3d76a0c10d7244ba049efec18f8btree
parentd6ef5385a8759d708b75077ec7e919eff783a6cfcommit | diff
Fix destruction issue in GetValueCommand leading to crash.

Thanks to David Cok for reporting this.
src/expr/command.cpp diff | blob | history