From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Wed, 1 May 2013 18:27:41 +0000 (-0400)
Subject: Comment out some debug-related things in attribute code, no longer needed
X-Git-Tag: cvc5-1.0.0~7290^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9427bfc0cef9b62146f1b6cff01a8103df97103f;p=cvc5.git

Comment out some debug-related things in attribute code, no longer needed
---

diff --git a/src/expr/attribute.h b/src/expr/attribute.h
index b155b3a1c..70f04be85 100644
--- a/src/expr/attribute.h
+++ b/src/expr/attribute.h
@@ -570,9 +570,11 @@ inline void AttributeManager::deleteAllFromTable(AttrHash<T>& table) {
 
     while (it != it_end){
       uint64_t id = (*it).first.first;
+      /*
       Debug("attrgc") << "id " << id
                       << " node_value: " << ((*it).first.second)
                       << std::endl;
+      */
       if(traits_t::cleanup[id] != NULL) {
         traits_t::cleanup[id]((*it).second);
       }
diff --git a/src/expr/attribute_internals.h b/src/expr/attribute_internals.h
index d7a61e32c..4893075c3 100644
--- a/src/expr/attribute_internals.h
+++ b/src/expr/attribute_internals.h
@@ -294,11 +294,13 @@ public:
     if(i == super::end()) {
       return BitIterator();
     }
+    /*
     Debug.printf("boolattr",
                  "underlying word at 0x%p looks like 0x%016llx, bit is %u\n",
                  &(*i).second,
                  (unsigned long long)((*i).second),
                  unsigned(k.first));
+    */
     return BitIterator(*i, k.first);
   }
 
@@ -316,11 +318,13 @@ public:
     if(i == super::end()) {
       return ConstBitIterator();
     }
+    /*
     Debug.printf("boolattr",
                  "underlying word at 0x%p looks like 0x%016llx, bit is %u\n",
                  &(*i).second,
                  (unsigned long long)((*i).second),
                  unsigned(k.first));
+    */
     return ConstBitIterator(*i, k.first);
   }
 
@@ -409,9 +413,11 @@ class CDAttrHash<bool> :
       d_key(key),
       d_word(word),
       d_bit(bit) {
+      /*
       Debug.printf("cdboolattr",
                    "CDAttrHash<bool>::BitAccessor(%p, %p, %016llx, %u)\n",
                    &map, key, (unsigned long long) word, bit);
+      */
     }
 
     BitAccessor& operator=(bool b) {
@@ -419,25 +425,31 @@ class CDAttrHash<bool> :
         // set the bit
         d_word |= (1 << d_bit);
         d_map.insert(d_key, d_word);
+        /*
         Debug.printf("cdboolattr",
                      "CDAttrHash<bool>::BitAccessor::set(%p, %p, %016llx, %u)\n",
                      &d_map, d_key, (unsigned long long) d_word, d_bit);
+        */
       } else {
         // clear the bit
         d_word &= ~(1 << d_bit);
         d_map.insert(d_key, d_word);
+        /*
         Debug.printf("cdboolattr",
                      "CDAttrHash<bool>::BitAccessor::clr(%p, %p, %016llx, %u)\n",
                      &d_map, d_key, (unsigned long long) d_word, d_bit);
+        */
       }
 
       return *this;
     }
 
     operator bool() const {
+      /*
       Debug.printf("cdboolattr",
                    "CDAttrHash<bool>::BitAccessor::toBool(%p, %p, %016llx, %u)\n",
                    &d_map, d_key, (unsigned long long) d_word, d_bit);
+      */
       return (d_word & (1 << d_bit)) ? true : false;
     }
   };/* class CDAttrHash<bool>::BitAccessor */
@@ -503,10 +515,12 @@ public:
     if(i == super::end()) {
       return ConstBitIterator();
     }
+    /*
     Debug.printf("cdboolattr",
                  "underlying word at address looks like 0x%016llx, bit is %u\n",
                  (unsigned long long)((*i).second),
                  unsigned(k.first));
+    */
     return ConstBitIterator(*i, k.first);
   }