IIRC one of the FoundationDB engineers tested with Jepsen and found that it passed in its default configuration, but the blog post seems to have disappeared.
https://web.archive.org/web/20150312112556/http://blog.found...
https://web.archive.org/web/20150312112556/http://blog.found...