mirror of https://github.com/YosysHQ/yosys.git
Merge pull request #3114 from whitequark/issue-3113
bugpoint: avoid infinite loop between -connections and -wires
This commit is contained in:
commit
73eea51613
|
@ -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)
|
||||||
|
|
Loading…
Reference in New Issue