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.
What is the Ayush-M99/mini-dst-framework GitHub project? Description: "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.". Written in Go. Explain what it does, its main use cases, key features, and who would benefit from using it.
Question is copied to clipboard — paste it after the AI opens.
Clone via HTTPS
Clone via SSH
Download ZIP
Download main.zipReport bugs or request features on the mini-dst-framework issue tracker:
Open GitHub Issues