diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-07-30 19:06:23 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-12-02 20:47:48 -0500 |
commit | ba1df736cbaa200abf7a9ecf96f1d0d4554fb9e0 (patch) | |
tree | d806a4c40882e8956c54fa1039952462de15e984 /src/expr/command.cpp | |
parent | 99152fedc21ec1772ddd4c915b4af616270c10c7 (diff) |
SExpr pretty-printing for :all-options and :all-statistics.
Diffstat (limited to 'src/expr/command.cpp')
-rw-r--r-- | src/expr/command.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/expr/command.cpp b/src/expr/command.cpp index 3d5cec19b..d3e4b8553 100644 --- a/src/expr/command.cpp +++ b/src/expr/command.cpp @@ -1257,6 +1257,9 @@ void GetInfoCommand::invoke(SmtEngine* smtEngine) throw() { v.push_back(SExpr(SExpr::Keyword(string(":") + d_flag))); v.push_back(smtEngine->getInfo(d_flag)); stringstream ss; + if(d_flag == "all-options" || d_flag == "all-statistics") { + ss << PrettySExprs(true); + } ss << SExpr(v); d_result = ss.str(); d_commandStatus = CommandSuccess::instance(); |