diff options
Diffstat (limited to 'passes/sat')
| -rw-r--r-- | passes/sat/sim.cc | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc index 73e03067b..f480168bd 100644 --- a/passes/sat/sim.cc +++ b/passes/sat/sim.cc @@ -1815,12 +1815,7 @@ struct AIWWriter : public OutputWriter for (int i = 0;; i++) { if (aiw_latches.count(i)) { - SigBit bit = aiw_latches.at(i).first; - auto v = current[mapping[bit.wire]].bits.at(bit.offset); - if (v == State::S1) - aiwfile << (aiw_latches.at(i).second ? '0' : '1'); - else - aiwfile << (aiw_latches.at(i).second ? '1' : '0'); + aiwfile << '0'; continue; } aiwfile << '\n'; |