Expand description
Simulation context and event logging.
SimContext is the central state holder for a single simulation run.
It owns the seed, logical clock, fault configuration, and the structured
event log. Every simulated action flows through the context so that
two runs with the same seed produce identical SimEventLogs.
Structs§
- LogDivergence
- Description of where two event logs first diverge.
- SeqNo
- Monotonic sequence counter for event ordering within a simulation.
- SimContext
- Central simulation context.
- SimEvent
Log - Structured event log for a simulation run.
- SimLog
Entry - A single recorded simulation event.
Enums§
- Divergence
Kind - The kind of divergence found between two logs.
- Subsystem
- Subsystem tags for event categorisation.