199,202c199,200
< if (runOnce) {
< eq->reschedule(&maxTickEvent, eq->getCurTick());
< runOnce = false;
< }
---
> if (runOnce)
> schedulePause();
223,230d220
<
< // If the ready event is supposed to run now, run it inline so that it
< // preempts any delta notifications which were scheduled while we were
< // paused.
< if (readyEvent.scheduled()) {
< eq->deschedule(&readyEvent);
< runReady();
< }
301c291
< // of ready processes and scheduled updates.
---
> // of ready processes, scheduled updates, and delta notifications.
307a298,300
> for (auto &e: deltas)
> e->deschedule();
> deltas.clear();