From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Thu, 19 Dec 2013 16:52:00 +0000 (-0500)
Subject: Fix to interactive mode determination.
X-Git-Tag: cvc5-1.0.0~6987^2~23
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=45df48dc08246ad014083f4ecd33246771a18d87;p=cvc5.git

Fix to interactive mode determination.
---

diff --git a/src/main/driver_unified.cpp b/src/main/driver_unified.cpp
index 1922455d6..d1baaa2e9 100644
--- a/src/main/driver_unified.cpp
+++ b/src/main/driver_unified.cpp
@@ -237,7 +237,7 @@ int runCvc4(int argc, char* argv[], Options& opts) {
     // Parse and execute commands until we are done
     Command* cmd;
     bool status = true;
-    if(opts[options::interactive]) {
+    if(opts[options::interactive] && inputFromStdin) {
 #ifndef PORTFOLIO_BUILD
       if(!opts.wasSetByUser(options::incrementalSolving)) {
         cmd = new SetOptionCommand("incremental", true);