diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2012-06-18 02:52:11 +0000 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2012-06-18 02:52:11 +0000 |
| commit | 025262221c7fe1a055330ed6c9c48af77ac991c2 (patch) | |
| tree | 7e509882cfbcfcc7e896b84e45c143e405b692ca /src/decision | |
| parent | e6323f489c8eaee70c4a055a975143e0a319c74f (diff) | |
tracing code to make sure decision options are being set correctly
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 = |