IIRC, etcd and consul failed in the same way in aphyr's post. Essentially neither had quorum read. We don't have jepesen setup as a testing tool because it is

IIRC, etcd and consul failed in the same way in aphyr's post. Essentially neither had quorum read. We don't have jepesen setup as a testing tool because it is really hard to make it a reliable false positive free system. Plus, the languages it is written in make it hard for us to hack on it. Instead what we have done is worked hard to build a functional testing suite to find non-algorithm issues (weird exhaustion issues, behavior under real disks, etc). And then have deep, fast, deterministic tests of the core raft algorithms.