Thanks for clarifying! It would be really interesting if Antithesis finds the bug when:
1. The specific bug isnt mentioned 2. (If youre game) a model with a knowledge-cutoff date before the report is used
1. The specific bug isnt mentioned 2. (If youre game) a model with a knowledge-cutoff date before the report is used
Which is: "Given the knowledge of a kind of bug that can happen in one Raft implementation, can a similar workload find similar bugs in other Raft implementations?" Turns out it can.
But please keep writing, I know its super hard to put yourself out there and make content!