Expand description
Generic deterministic replay framework.
Since simulation is deterministic (same seed = same execution), we can
replay to any point and examine state. This module provides a generic
ReplayRunner that wraps any user-provided simulation function.
Inspired by rr (Mozilla) — concept freely usable, independent implementation.
Structs§
- Replay
Runner - A generic replay runner parameterized on user state type
S.
Functions§
- replay_
until - Replay until a predicate is satisfied (binary-search friendly).