From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Wed, 8 Oct 2014 00:34:28 +0000 (-0400)
Subject: Fix portoflio issues (debugging code was being called even when tag was off)
X-Git-Tag: cvc5-1.0.0~6577
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3377b80f8ade22c4e7b2e4885d88b66a44306133;p=cvc5.git

Fix portoflio issues (debugging code was being called even when tag was off)
---

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<Assertion>::const_iterator it = d_external.facts_begin(), it_end = d_external.facts_end();
 
     std::map<TNode, std::set<TNode> > 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) {