tracing code to make sure decision options are being set correctly

diff --git a/src/decision/decision_engine.cpp b/src/decision/decision_engine.cpp
index 937099e38fe1393f8ff2fc760355249dc5420d25..b42f69b7fa21f3c38a5a5b445091b20b884be309 100644 (file)
--- 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 =