From 3377b80f8ade22c4e7b2e4885d88b66a44306133 Mon Sep 17 00:00:00 2001 From: Kshitij Bansal Date: Tue, 7 Oct 2014 20:34:28 -0400 Subject: [PATCH] Fix portoflio issues (debugging code was being called even when tag was off) --- src/theory/sets/theory_sets_private.cpp | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/src/theory/sets/theory_sets_private.cpp b/src/theory/sets/theory_sets_private.cpp index 810a718b9..630ae0651 100644 --- a/src/theory/sets/theory_sets_private.cpp +++ b/src/theory/sets/theory_sets_private.cpp @@ -420,6 +420,10 @@ void TheorySetsPrivate::addSharedTerm(TNode n) { void TheorySetsPrivate::dumpAssertionsHumanified() const { std::string tag = "sets-assertions"; + + if(Trace.isOn(tag)) { /* condition can't be !Trace.isOn, that's why this empty block */ } + else { return; } + context::CDList::const_iterator it = d_external.facts_begin(), it_end = d_external.facts_end(); std::map > equalities; @@ -1104,7 +1108,9 @@ void TheorySetsPrivate::propagate(Theory::Effort effort) { // build a model Trace("sets-prop-full") << "[sets-prop-full] propagate(FULL_EFFORT)" << std::endl; - dumpAssertionsHumanified(); + if(Trace.isOn("sets-assertions")) { + dumpAssertionsHumanified(); + } const CDNodeSet& terms = (d_termInfoManager->d_terms); for(typeof(terms.begin()) it = terms.begin(); it != terms.end(); ++it) { -- 2.30.2