diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2020-01-10 12:25:54 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-01-10 12:25:54 -0800 |
| commit | 663f301280afd40895ea8398a5a77acd8e89a08e (patch) | |
| tree | 26aef252d2eb26c0b3bef5e3ed2962e738a9b42d | |
| parent | 28ea853b689ce762b6450023added88e6b4b5400 (diff) | |
Fix enum names in AIG bitblaster. (#3599)
| -rw-r--r-- | src/theory/bv/bitblast/aig_bitblaster.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/theory/bv/bitblast/aig_bitblaster.cpp b/src/theory/bv/bitblast/aig_bitblaster.cpp index c2bc9e6e8..ea9867b0f 100644 --- a/src/theory/bv/bitblast/aig_bitblaster.cpp +++ b/src/theory/bv/bitblast/aig_bitblaster.cpp @@ -146,7 +146,7 @@ AigBitblaster::AigBitblaster() prop::SatSolver* solver = nullptr; switch (options::bvSatSolver()) { - case SAT_SOLVER_MINISAT: + case options::SatSolverMode::MINISAT: { prop::BVSatSolverInterface* minisat = prop::SatSolverFactory::createMinisat( @@ -156,11 +156,11 @@ AigBitblaster::AigBitblaster() solver = minisat; break; } - case SAT_SOLVER_CADICAL: + case options::SatSolverMode::CADICAL: solver = prop::SatSolverFactory::createCadical(smtStatisticsRegistry(), "AigBitblaster"); break; - case SAT_SOLVER_CRYPTOMINISAT: + case options::SatSolverMode::CRYPTOMINISAT: solver = prop::SatSolverFactory::createCryptoMinisat( smtStatisticsRegistry(), "AigBitblaster"); break; |