None were found based on Jepsen testing done.

We had done a separate testing for Badger before Jepsen, where we had identified and fixed a few issues related to crashes. You can read that blog post here:

https://blog.dgraph.io/post/alice/