[Diggsey]

Was the C Raft implementation in use a pre-existing library, or was it developed specifically for Redis-Raft?

[aphyr]

Pre-existing! It's a fork of willamt's https://github.com/willemt/raft/, which has been around since 2013, and has property-based fuzz testing! It really does look like it's got its own extensive tests; I'm surprised we found issues.

[anentropic]

this is kind of terrifying