1
Jepsen: Redis-Raft 1b3fbf6 (jepsen.io)