Add non-input bits driven by unrecognised cells as ci_bits

This commit is contained in:
Eddie Hung 2019-04-10 18:06:33 -07:00
parent 1a49cf29d8
commit 2217d59e29
1 changed files with 1 additions and 1 deletions

View File

@ -229,7 +229,7 @@ struct XAigerWriter
}
if (is_output) {
SigBit O = sigmap(b);
if (!input_bits.count(O) && !output_bits.count(O))
if (!input_bits.count(O))
ci_bits.insert(O);
}
}