diff options
| author | Gereon Kremer <nafur42@gmail.com> | 2021-10-06 16:12:46 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-06 16:12:46 -0700 |
| commit | fb45de5d7385a1ba9e40237a745720f54d67db92 (patch) | |
| tree | e8219b6db5f894b2cbae381ddd45496dda2a082e /src/main | |
| parent | 36bfe4c1802ddeb88517a399ddab9f79976ae10d (diff) | |
Change semantics of dumpUnsatCoresFull (#7314)
This PR changes --dump-unsat-cores-full to --print-unsat-cores-full.
It also makes it so that solely having --dump-unsat-cores-full no longer automatically prints unsat cores.
Diffstat (limited to 'src/main')
| -rw-r--r-- | src/main/command_executor.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/main/command_executor.cpp b/src/main/command_executor.cpp index 4f5fd5c24..8188f247f 100644 --- a/src/main/command_executor.cpp +++ b/src/main/command_executor.cpp @@ -162,8 +162,7 @@ bool CommandExecutor::doCommandSingleton(Command* cmd) getterCommands.emplace_back(new GetInstantiationsCommand()); } - if ((d_solver->getOptionInfo("dump-unsat-cores").boolValue() - || d_solver->getOptionInfo("dump-unsat-cores-full").boolValue()) + if (d_solver->getOptionInfo("dump-unsat-cores").boolValue() && isResultUnsat) { getterCommands.emplace_back(new GetUnsatCoreCommand()); |