mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-11 03:33:36 +00:00
Code Activity

Remove unnecessary undriven_bits.insert

Browse source
This commit is contained in:
Eddie Hung 2019-06-12 15:55:02 -07:00
parent 2e7e73f483
commit 8374eb1cb4
1 changed files with 1 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
backends/aiger/xaiger.cc
View file

@ -154,11 +154,8 @@ struct XAigerWriter
}
if (wire->port_output || keep) {
if (bit != wirebit) {
if (bit != wirebit)
alias_map[wirebit] = bit;
if (!bit.wire)
undriven_bits.insert(wirebit);
}
output_bits.insert(wirebit);
}
}