fix get-info error-behavior

diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp
index 7aebb60f6f6586052c52289586a99805213d36e8..8586bc9da5ee04e54db61172b928739e2eb9a239 100644 (file)
--- a/src/smt/smt_engine.cpp
+++ b/src/smt/smt_engine.cpp
@@ -1348,7 +1348,11 @@ CVC4::SExpr SmtEngine::getInfo(const std::string& key) const
     return stats;
   } else if(key == "error-behavior") {
     // immediate-exit | continued-execution
-    return SExpr::Keyword("continued-execution");
+    if( options::continuedExecution() || options::interactive() ) {
+      return SExpr::Keyword("continued-execution");
+    } else {
+      return SExpr::Keyword("immediate-exit");
+    }
   } else if(key == "name") {
     return Configuration::getName();
   } else if(key == "version") {