aboutsummaryrefslogtreecommitdiffstats
path: root/passes/sat/sim.cc
diff options
context:
space:
mode:
Diffstat (limited to 'passes/sat/sim.cc')
-rw-r--r--passes/sat/sim.cc3
1 files changed, 2 insertions, 1 deletions
diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc
index 9771e83f3..d7f4de507 100644
--- a/passes/sat/sim.cc
+++ b/passes/sat/sim.cc
@@ -1238,7 +1238,7 @@ struct SimWorker : SimShared
curr_cycle = -1; // force detect change
if (curr_cycle != prev_cycle) {
- log("Simulating cycle %d %d.\n", cycle, cycle % 1);
+ log("Simulating cycle %d.\n", cycle);
set_inports(clock, State::S1);
set_inports(clockn, State::S0);
update();
@@ -1282,6 +1282,7 @@ struct SimWorker : SimShared
break;
}
}
+ register_output_step(10*cycle);
write_output_files();
}
};