Jepsen tests for the Chronos task scheduler - View it on GitHub