Fixing issue #2252 (internal error on netlist compare)

This commit is contained in:
Matthias Koefferlein 2025-12-23 18:46:08 +01:00
parent 6ad326e806
commit 5b0e9f146f
1 changed files with 23 additions and 20 deletions

View File

@ -1862,13 +1862,14 @@ NetlistComparer::do_subcircuit_assignment (const db::Circuit *c1, const db::NetG
}
if (i == unmatched_a.end () || j == unmatched_b.end ()) {
break;
}
} else if (i->first.size () == j->first.size ()) {
unmatched_list::iterator ii = i, jj = j;
++i, ++j;
size_t n = ii->first.size ();
tl_assert (n == jj->first.size ());
while (i != unmatched_a.end () && i->first.size () == n) {
++i;
@ -1897,6 +1898,8 @@ NetlistComparer::do_subcircuit_assignment (const db::Circuit *c1, const db::NetG
}
}
}
}
static bool derive_symmetry_groups (const db::NetGraph &graph, const tl::equivalence_clusters<const NetGraphNode *> &identical_nodes, std::set<size_t> &considered_nodes, const std::set<size_t> &symmetry_group, std::vector<std::set<size_t> > &symmetry_groups)