diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-07-08 23:45:40 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-07-08 23:45:40 +0000 |
commit | 4f964deb895010465e2bcc38da61e4cb06cb6cd6 (patch) | |
tree | 651ad1ba8be1de2066b7bfc3895a7cb423916aaa /src/smt | |
parent | d42f2360c109d22ae416f68aa3e4f5f7c6e14d20 (diff) |
minor SMT-LIBv2 compliance issues
Diffstat (limited to 'src/smt')
-rw-r--r-- | src/smt/smt_engine.cpp | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp index ddc45228e..08e335717 100644 --- a/src/smt/smt_engine.cpp +++ b/src/smt/smt_engine.cpp @@ -603,6 +603,9 @@ void SmtEngine::setLogicInternal() throw(AssertionException) { void SmtEngine::setInfo(const std::string& key, const SExpr& value) throw(BadOptionException, ModalException) { + + NodeManagerScope nms(d_nodeManager); + Trace("smt") << "SMT setInfo(" << key << ", " << value << ")" << endl; if(Dump.isOn("benchmark")) { if(key == ":status") { @@ -659,6 +662,9 @@ void SmtEngine::setInfo(const std::string& key, const SExpr& value) SExpr SmtEngine::getInfo(const std::string& key) const throw(BadOptionException) { + + NodeManagerScope nms(d_nodeManager); + Trace("smt") << "SMT getInfo(" << key << ")" << endl; if(key == ":all-statistics") { vector<SExpr> stats; |