Skip to content

Commit db2bdfe

Browse files
committed
removed debug prints
1 parent fa2e27f commit db2bdfe

1 file changed

Lines changed: 0 additions & 4 deletions

File tree

plugins/netlist_preprocessing/src/netlist_preprocessing.cpp

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1223,17 +1223,13 @@ namespace hal
12231223
}
12241224
const std::map<TreeFingerprint, std::set<Net*>> fingerprint_to_nets = res.get();
12251225

1226-
std::cout << "Done with fingerprinting" << std::endl;
1227-
std::cout << "Got " << fingerprint_to_nets.size() << " different finger prints" << std::endl;
1228-
12291226
auto equality_result = (num_threads > 1) ? equivalence_check_parallel(fingerprint_to_nets, max_net_id, num_threads) : equivalence_check(fingerprint_to_nets, max_net_id);
12301227
if (equality_result.is_error())
12311228
{
12321229
return ERR_APPEND(equality_result.get_error(), "Failed to perform equivalence checking");
12331230
}
12341231

12351232
std::vector<std::vector<Net*>> equality_classes = equality_result.get();
1236-
std::cout << "Done with equivalence checking" << std::endl;
12371233

12381234
u32 counter = 0;
12391235
for (const auto& eq_class : equality_classes)

0 commit comments

Comments
 (0)