diff options
Diffstat (limited to 'src/decision/decision_engine.h')
-rw-r--r-- | src/decision/decision_engine.h | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/decision/decision_engine.h b/src/decision/decision_engine.h index 73d7e2a31..41d439d4f 100644 --- a/src/decision/decision_engine.h +++ b/src/decision/decision_engine.h @@ -118,10 +118,10 @@ public: /** Gets the next decision based on strategies that are enabled */ SatLiteral getNext(bool &stopSearch) { NodeManager::currentResourceManager()->spendResource(options::decisionStep()); - Assert(d_cnfStream != NULL, - "Forgot to set cnfStream for decision engine?"); - Assert(d_satSolver != NULL, - "Forgot to set satSolver for decision engine?"); + Assert(d_cnfStream != NULL) + << "Forgot to set cnfStream for decision engine?"; + Assert(d_satSolver != NULL) + << "Forgot to set satSolver for decision engine?"; SatLiteral ret = undefSatLiteral; for(unsigned i = 0; @@ -157,7 +157,7 @@ public: case SAT_VALUE_TRUE: return Result(Result::SAT); case SAT_VALUE_FALSE: return Result(Result::UNSAT); case SAT_VALUE_UNKNOWN: return Result(Result::SAT_UNKNOWN, Result::UNKNOWN_REASON); - default: Assert(false, "d_result is garbage"); + default: Assert(false) << "d_result is garbage"; } return Result(); } |