From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Wed, 9 Apr 2014 18:35:37 +0000 (-0400)
Subject: fix get-info error-behavior
X-Git-Tag: cvc5-1.0.0~6977^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=045858c2d492af6e102c6b55a2f3e9e1d044da64;p=cvc5.git

fix get-info error-behavior
---

diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp
index 7aebb60f6..8586bc9da 100644
--- 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") {