Jepsen tests for the TiDB distributed SQL DB - View it on GitHub