Jeppsen also has maelstrom package which you can use to validate a raft implementation.
Disappointed this wasn’t about an actual raft. Still neat.
technically a bunch of logs floating in the ocean is a distributed raft.
Interesting post! Were all the bugs caught by MIT test suite?
I guess it would be hard to know for sure if all bugs were caught, but IME the test suite was pretty rigorous. They’re more in the vein of “systems tests” or integration tests since they’re timing-dependent and opaque to the implementation.
I wouldn’t consider my toy implementation to be production ready, but the provided test suite was rigorous enough to show me where I messed up