diff options
Diffstat (limited to 'src/expr/command.cpp')
-rw-r--r-- | src/expr/command.cpp | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/src/expr/command.cpp b/src/expr/command.cpp index 12830a618..c127aca75 100644 --- a/src/expr/command.cpp +++ b/src/expr/command.cpp @@ -902,7 +902,7 @@ void SetBenchmarkStatusCommand::invoke(SmtEngine* smtEngine) throw() { stringstream ss; ss << d_status; SExpr status = ss.str(); - smtEngine->setInfo(":status", status); + smtEngine->setInfo("status", status); d_commandStatus = CommandSuccess::instance(); } catch(exception& e) { d_commandStatus = new CommandFailure(e.what()); @@ -1074,7 +1074,13 @@ std::string GetOptionCommand::getFlag() const throw() { void GetOptionCommand::invoke(SmtEngine* smtEngine) throw() { try { - d_result = smtEngine->getOption(d_flag).getValue(); + vector<SExpr> v; + v.push_back(SExpr(SExpr::Keyword(string(":") + d_flag))); + v.push_back(smtEngine->getOption(d_flag)); + stringstream ss; + + ss << SExpr(v); + d_result = ss.str(); d_commandStatus = CommandSuccess::instance(); } catch(BadOptionException&) { d_commandStatus = new CommandUnsupported(); |