diff options
Diffstat (limited to 'passes')
| -rw-r--r-- | passes/sat/sim.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc index 304dfef13..1ce563ac2 100644 --- a/passes/sat/sim.cc +++ b/passes/sat/sim.cc @@ -1304,6 +1304,8 @@ struct SimWorker : SimShared state = 3; break; default: + log("Simulating cycle %d.\n", cycle); + top->setState(inputs, line); if (cycle) { set_inports(clock, State::S1); set_inports(clockn, State::S0); |