mini-dst-framework
Ayush-M99/mini-dst-framework
Go
Deterministic simulation testing framework for distributed systems. Raft as a pure state machine under a seeded scheduler, with fault injection, invariant checking, ddmin trace minimization, and a live web console. Same seed, byte-identical trace.