diff options
| author | Catherine <whitequark@whitequark.org> | 2021-12-16 07:29:19 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-12-16 07:29:19 +0000 |
| commit | 73eea516135d5070b800d278c44ee411b7e345ba (patch) | |
| tree | 5fb1f060c9ea26a9796e41a64695a9308a0e4728 | |
| parent | 4cd2f03e36d09f936d39f8499e26fb0a2bc897f9 (diff) | |
| parent | 4f1d62d9b25208f23a08b21247d016c44df01c26 (diff) | |
| download | yosys-73eea516135d5070b800d278c44ee411b7e345ba.tar.gz yosys-73eea516135d5070b800d278c44ee411b7e345ba.tar.bz2 yosys-73eea516135d5070b800d278c44ee411b7e345ba.zip | |
Merge pull request #3114 from whitequark/issue-3113
bugpoint: avoid infinite loop between -connections and -wires
| -rw-r--r-- | passes/cmds/bugpoint.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/passes/cmds/bugpoint.cc b/passes/cmds/bugpoint.cc index 16ac5b6a7..7b621504d 100644 --- a/passes/cmds/bugpoint.cc +++ b/passes/cmds/bugpoint.cc @@ -377,7 +377,7 @@ struct BugpointPass : public Pass { if (wire->get_bool_attribute(ID::bugpoint_keep)) continue; - if (wire->name.begins_with("$delete_wire")) + if (wire->name.begins_with("$delete_wire") || wire->name.begins_with("$auto$bugpoint")) continue; if (index++ == seed) |