Expand description
Virtual time in microseconds with per-node skew schedules (spec section 9.5, FND-005).
The simulated clock never reads the wall clock. It moves only when
the scenario runner advances it — normally when every task is idle
(“advance-on-idle”), jumping straight to the next timer or message
delivery. Per-node SkewSchedules model unsynchronized hardware
clocks without affecting the global event order.
Structs§
- Clock
- The global virtual clock plus per-node skew schedules.
- Skew
Schedule - A piecewise-constant offset schedule for one node’s hardware clock.
Enums§
- Clock
Error - Clock misuse.
Type Aliases§
- Micros
- Virtual time unit: microseconds since scenario start.