deterministic-simulation-testing

It simulates nondeterministic components like network, time, disk, and randomness under a seeded PRNG to deliver reproducible runs and easier bug reproduction for distributed systems.

You can use BUGGIFY fault injection sites combined with invariant checking to safely exercise rare paths during single-threaded deterministic simulation. This allows you to validate safety and liveness properties without destabilizing your actual production environment.

Provide a specific seed and scenario to the deterministic simulation harness to collapse multi-node execution into a single-threaded model. This controls network and disk nondeterminism via a seeded PRNG, enabling reproducible debugging across scenarios.

Yes, deterministic simulation testing is specifically designed for validating consensus protocols, replication engines, and replicated state machines. It checks invariants under simulated fault injection to verify safety and liveness efficiently.

You need to implement I/O interfaces to swap in simulated components and a deterministic scheduler to control execution. Optional BUGGIFY sites with invariants can be added to validate safety and liveness properties.