Comment by SEJeff

Sad to not see Jepsen tests ran on this at least by the developers when releasing a new clustering piece.

The folks working on cockroachdb recently did this[1] and it was a good read.

[1] https://www.cockroachlabs.com/blog/diy-jepsen-testing-cockro...