mirror of
https://github.com/YosysHQ/yosys
synced 2025-04-06 17:44:09 +00:00
Suppress warning message for init[i] = 1'bx
This commit is contained in:
parent
e75ca29b19
commit
9a892199f7
|
@ -269,7 +269,8 @@ struct SatHelper
|
|||
for (int i = 0; i < lhs.size(); i++) {
|
||||
RTLIL::SigSpec bit = lhs.extract(i, 1);
|
||||
if (rhs[i] == State::Sx || !satgen.initial_state.check_all(bit)) {
|
||||
removed_bits.append(bit);
|
||||
if (rhs[i] != State::Sx)
|
||||
removed_bits.append(bit);
|
||||
lhs.remove(i, 1);
|
||||
rhs.remove(i, 1);
|
||||
i--;
|
||||
|
|
Loading…
Reference in a new issue