projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 58c511a) | patch
fix a destruction-order issue that was (1) causing valgrind to complain loudly about...
authorMorgan Deters <mdeters@gmail.com>
Mon, 27 Aug 2012 20:37:17 +0000 (20:37 +0000)
committerMorgan Deters <mdeters@gmail.com>
Mon, 27 Aug 2012 20:37:17 +0000 (20:37 +0000)
commite01477b5478828aa9ab0798835128b378574ce72
treeb2cfd10610bbdf55e9fe93c5d01f871d46ef3316tree
parent58c511a607a7a3560590b49f17ee3e92b364dbcfcommit | diff
fix a destruction-order issue that was (1) causing valgrind to complain loudly about invalid reads and writes, and (2) apparently causing problems deleting the decision engine (which is now being properly deleted)

(this commit was certified error- and warning-free by the test-and-commit script.)
src/smt/smt_engine.cpp diff | blob | history