Raft has been manually verified which was the hurdle here that makes the result interesting: https://github.com/uwplse/verdi-raft https://github.com/uwplse/ver

Raft has been manually verified which was the hurdle here that makes the result interesting: https://github.com/uwplse/verdi-raft https://github.com/uwplse/verdi-raft