diff options
Diffstat (limited to 'src/decision')
-rw-r--r-- | src/decision/decision_engine.cpp | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/decision/decision_engine.cpp b/src/decision/decision_engine.cpp index 937099e38..b42f69b7f 100644 --- a/src/decision/decision_engine.cpp +++ b/src/decision/decision_engine.cpp @@ -48,9 +48,15 @@ void DecisionEngine::init() Assert(d_engineState == 0); d_engineState = 1; + Trace("decision-init") << "DecisionEngine::init()" << std::endl; const Options* options = Options::current(); if(options->incrementalSolving) return; + Trace("decision-init") << " * options->decisionMode: " + << options->decisionMode << std:: endl; + Trace("decision-init") << " * options->decisionOptions.stopOnly: " + << ((options->decisionOptions).stopOnly) << std::endl; + if(options->decisionMode == Options::DECISION_STRATEGY_INTERNAL) { } if(options->decisionMode == Options::DECISION_STRATEGY_JUSTIFICATION) { ITEDecisionStrategy* ds = |