diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/options/options_public_functions.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/options/options_public_functions.cpp b/src/options/options_public_functions.cpp index a9b8b0714..c7bd1006f 100644 --- a/src/options/options_public_functions.cpp +++ b/src/options/options_public_functions.cpp @@ -75,7 +75,9 @@ bool Options::getDumpSynth() const{ } bool Options::getDumpUnsatCores() const{ - return (*this)[options::dumpUnsatCores]; + // dump unsat cores full enables dumpUnsatCores + return (*this)[options::dumpUnsatCores] + || (*this)[options::dumpUnsatCoresFull]; } bool Options::getEarlyExit() const{ |