Fixing seen cleaning

Author: msoos

src/comp_analyzer.cpp

@@ -97,7 +97,7 @@ void CompAnalyzer::calc_blocked(
   uint32_t blocked_tot = 0;
   vector<char> seen(n*2, 0);
   vector<char> seen_set(n*2, 0);
-  vector<Lit> seed_set_clear;
+  vector<Lit> seen_set_clear;
   for (uint32_t v = 1; v < n; v++) {
     for(uint32_t i = 0; i < 2; i++) {
       vector<uint32_t> clids_blocked;
@@ -111,7 +111,7 @@ void CompAnalyzer::calc_blocked(
       while(!prop_q.empty()) {
         Lit p = prop_q.back();
         seen_set[p.raw()] = 1;
-        seed_set_clear.push_back(p);
+        seen_set_clear.push_back(p);
         prop_q.pop_back();
         for(const auto& cl_id: occs[l_set.neg().raw()]) {
           const auto& cl = id_to_cl[cl_id];
@@ -186,11 +186,11 @@ void CompAnalyzer::calc_blocked(
         }
         for(const auto& l: cl) seen[l.raw()] = 0;
       }
-
       blocked_tot += clids_blocked.size();
       lit_to_blocked_clids[l_set.raw()] = clids_blocked;
+      for(const auto& l: seen_set_clear) seen_set[l.raw()] = 0;
+      seen_set_clear.clear();
     }
-    for(const auto& l: seed_set_clear) seen_set[l.raw()] = 0;
   }
   verb_print(1, "Blocked tot: " << blocked_tot << " avg: " << (double)blocked_tot/(double)(n*2-2) << " T: " << cpu_time()-start_time);
 }