This aged well - https://github.com/ravendb/ravendb/issues/13218#issuecomment...
> RavenDB’s Jepsen test may not have measured anything at all: at least in the most recent revision, the generator included no client operations of any kind.
Remember folks, if you can't get your test to fail by intentionally breaking the implementation, you don't have a test.