Jepsen tests are basically a closure framework to conduct such tests. We took some of the existing test cases and rewrote them for ArangoDB. So these are not "o

Jepsen tests are basically a closure framework to conduct such tests. We took some of the existing test cases and rewrote them for ArangoDB. So these are not "official Jepsen tests" but tests we did ourselves to track down issues. If you want to inspect and retest yourself, that will be possible. There's no reason to keep the tests closed source. Of course it would be great to get ArangoDB Aphyr-approved eventually.