3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-09-06 09:51:10 +00:00

opt_dff: fix timeout issue

This commit is contained in:
Anhijkt 2025-08-13 01:48:59 +03:00
parent 9d047f9a30
commit b3ca5ee0f1

View file

@ -199,7 +199,7 @@ struct OptDffWorker
const auto complimentary_var = find_comp(left, right);
if (complimentary_var) {
if (complimentary_var && new_patterns.count(right)) {
new_patterns.erase(right);
right.erase(complimentary_var.value());
new_patterns.insert(right);