diff options
| -rw-r--r-- | src/main/driver_unified.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/main/driver_unified.cpp b/src/main/driver_unified.cpp index e43c8a6ee..1da4446a6 100644 --- a/src/main/driver_unified.cpp +++ b/src/main/driver_unified.cpp @@ -320,7 +320,9 @@ int runCvc4(int argc, char* argv[], Options& opts) { delete cmd; } } else if( opts.getTearDownIncremental() > 0) { - if(!opts.getIncrementalSolving()) { + if(!opts.getIncrementalSolving() && opts.getTearDownIncremental() > 1) { + // For tear-down-incremental values greater than 1, need incremental + // on too. cmd = new SetOptionCommand("incremental", SExpr(true)); cmd->setMuted(true); pExecutor->doCommand(cmd); |