Finding bugs in Raft implementations | Antithesis

Raft is the simplest real distributed system coordination protocol we have, but essentially all implementations have bugs. Their testing/simulation environment detected and identified these bugs.