projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2499bd6) | patch
Fixing SmtEngine::getValue() by adding a NodeManagerScope (thanks Tim for finding...
authorMorgan Deters <mdeters@gmail.com>
Fri, 22 Apr 2011 22:01:36 +0000 (22:01 +0000)
committerMorgan Deters <mdeters@gmail.com>
Fri, 22 Apr 2011 22:01:36 +0000 (22:01 +0000)
commit2a57acc989a917a58dbecb2944c8438140a5627c
tree5b0263c188b1fa7475fc5ffb82914f55f2b37e82tree
parent2499bd64a5ac688573ebbcd6114983f64a8094ebcommit | diff
Fixing SmtEngine::getValue() by adding a NodeManagerScope (thanks Tim for finding this)
src/smt/smt_engine.cpp diff | blob | history