diff options
author | Clark Barrett <barrett@cs.stanford.edu> | 2016-12-14 11:12:58 -0800 |
---|---|---|
committer | Clark Barrett <barrett@cs.stanford.edu> | 2016-12-14 11:13:52 -0800 |
commit | a33002181a581f28da66cbc2c93626996a1fb1aa (patch) | |
tree | f9693e76c0b0e88e6cc4fb8220a719c680ac219e /src/main | |
parent | 3ae5c86a366f7adeb1104a8c68ea47d9e50a0f57 (diff) |
Made tear-down-incremental more like it used to be: when tear-down value
is 1, it does not automatically enable incremental mode.
Diffstat (limited to 'src/main')
-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); |