Comment by amelius

Agree. But ... I sure hope that the new way of developing distributed systems doesn't follow this pattern:

1. write some code

2. submit to Jepsen

3. if errors, goto 1

The problem with this approach is obvious.