Make --incremental the default when running interactively

diff --git a/src/main/driver_unified.cpp b/src/main/driver_unified.cpp
index 9fa40d3abd748a17ac861030e4b8cce69316f6fe..bdce5639b330fd2dbea0a56132cfeef0bb032d14 100644 (file)
--- a/src/main/driver_unified.cpp
+++ b/src/main/driver_unified.cpp
@@ -235,7 +235,14 @@ 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]) {
+#ifndef PORTFOLIO_BUILD
+      if(!opts.wasSetByUser(options::incrementalSolving)) {
+        cmd = new SetOptionCommand("incremental", true);
+        pExecutor->doCommand(cmd);
+        delete cmd;
+      }
+#endif /* PORTFOLIO_BUILD */
       InteractiveShell shell(*exprMgr, opts);
       Message() << Configuration::getPackageName()
                 << " " << Configuration::getVersionString();