From 025262221c7fe1a055330ed6c9c48af77ac991c2 Mon Sep 17 00:00:00 2001 From: Kshitij Bansal Date: Mon, 18 Jun 2012 02:52:11 +0000 Subject: [PATCH] tracing code to make sure decision options are being set correctly --- src/decision/decision_engine.cpp | 6 ++++++ 1 file changed, 6 insertions(+) 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 = -- 2.30.2