[mrjn]

Yeah, we're working on fixing the existing bugs and working with Kit Patella (https://github.com/mkcp) to further extend Jepsen's Dgraph tests.

The Snapshot Isolation bank test bug, in particular, is proving a lot harder to reproduce now -- it takes many hours (even up to 8h) to show a violation; which makes debugging harder obviously. The rest 2-3 are sort of related and easier to fix.

I doubt Jepsen blog post would be updated, but once all the remaining bugs are fixed, we'll write a blog post about it on https://blog.dgraph.io.