mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-31 11:42:30 +00:00
Code Activity

bugpoint: avoid infinite loop between -connections and -wires.

Browse source 
Fixes #3113.
This commit is contained in:
Catherine 2021-12-15 08:15:54 +00:00
parent 48ed6d998b
commit 4f1d62d9b2
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
passes/cmds/bugpoint.cc
View file

@ -377,7 +377,7 @@ struct BugpointPass : public Pass {
if (wire->get_bool_attribute(ID::bugpoint_keep)) if (wire->get_bool_attribute(ID::bugpoint_keep))
continue; continue;
if (wire->name.begins_with("$delete_wire")) if (wire->name.begins_with("$delete_wire") || wire->name.begins_with("$auto$bugpoint"))
continue; continue;
if (index++ == seed) if (index++ == seed)