diff options
Diffstat (limited to 'src/options/options_handler.cpp')
| -rw-r--r-- | src/options/options_handler.cpp | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/options/options_handler.cpp b/src/options/options_handler.cpp index e423dc149..7a80c4d7a 100644 --- a/src/options/options_handler.cpp +++ b/src/options/options_handler.cpp @@ -155,11 +155,11 @@ void OptionsHandler::checkBvSatSolver(const std::string& option, throw OptionException(ss.str()); } - if (options::bvSolver() != options::BVSolver::BITBLAST + if (d_options->bv.bvSolver != options::BVSolver::BITBLAST && (m == SatSolverMode::CRYPTOMINISAT || m == SatSolverMode::CADICAL || m == SatSolverMode::KISSAT)) { - if (options::bitblastMode() == options::BitblastMode::LAZY + if (d_options->bv.bitblastMode == options::BitblastMode::LAZY && d_options->bv.bitblastModeWasSetByUser) { throwLazyBBUnsupported(m); @@ -178,9 +178,9 @@ void OptionsHandler::checkBitblastMode(const std::string& option, options::bv::setDefaultBitvectorEqualitySolver(*d_options, true); options::bv::setDefaultBitvectorInequalitySolver(*d_options, true); options::bv::setDefaultBitvectorAlgebraicSolver(*d_options, true); - if (options::bvSatSolver() != options::SatSolverMode::MINISAT) + if (d_options->bv.bvSatSolver != options::SatSolverMode::MINISAT) { - throwLazyBBUnsupported(options::bvSatSolver()); + throwLazyBBUnsupported(d_options->bv.bvSatSolver); } } else if (m == BitblastMode::EAGER) @@ -195,7 +195,7 @@ void OptionsHandler::setBitblastAig(const std::string& option, { if(arg) { if (d_options->bv.bitblastModeWasSetByUser) { - if (options::bitblastMode() != options::BitblastMode::EAGER) + if (d_options->bv.bitblastMode != options::BitblastMode::EAGER) { throw OptionException("bitblast-aig must be used with eager bitblaster"); } |