diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-07-23 11:55:39 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-07-23 11:55:39 -0400 |
commit | e12e7b9f980ec3f2b3db6de73e5fbe6f0daa1c00 (patch) | |
tree | b7561d0d924ad7a3d4caea3a585f4a5bfb28d2e2 /src/smt/smt_engine.cpp | |
parent | 36b4c5c156e32d7bb8634794e8bf95b8617a3944 (diff) |
(get-info :all-options) to get option values; also command-line option suggestions
Diffstat (limited to 'src/smt/smt_engine.cpp')
-rw-r--r-- | src/smt/smt_engine.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp index 2cddc29cf..927b8fe6f 100644 --- a/src/smt/smt_engine.cpp +++ b/src/smt/smt_engine.cpp @@ -1196,6 +1196,9 @@ CVC4::SExpr SmtEngine::getInfo(const std::string& key) const throw ModalException("Can't get-info :reason-unknown when the " "last result wasn't unknown!"); } + } else if(key == "all-options") { + // get the options, like all-statistics + return Options::current().getOptions(); } else { throw UnrecognizedOptionException(); } |