diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2019-08-14 13:12:19 -0700 |
---|---|---|
committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-08-14 15:12:19 -0500 |
commit | 044891b406eb3ee143403ad8fecd7acb99d17ecb (patch) | |
tree | f90d35b378da21c2fe889149eb974709292af609 /src/smt/smt_engine.cpp | |
parent | 29639a7df6ddf105803431cc85888c9416af6af6 (diff) |
Remove option --continued-execution. (#3189)
Diffstat (limited to 'src/smt/smt_engine.cpp')
-rw-r--r-- | src/smt/smt_engine.cpp | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp index 78f47993f..1827d902c 100644 --- a/src/smt/smt_engine.cpp +++ b/src/smt/smt_engine.cpp @@ -2438,12 +2438,7 @@ CVC4::SExpr SmtEngine::getInfo(const std::string& key) const { } return SExpr(stats); } else if(key == "error-behavior") { - // immediate-exit | continued-execution - if( options::continuedExecution() || options::interactive() ) { - return SExpr(SExpr::Keyword("continued-execution")); - } else { - return SExpr(SExpr::Keyword("immediate-exit")); - } + return SExpr(SExpr::Keyword("immediate-exit")); } else if(key == "name") { return SExpr(Configuration::getName()); } else if(key == "version") { |