jepsen.tests.cycle
Tests based on transactional cycle detection via Elle. If you’re looking for code that used to be here, see elle.core.
checker
(checker analyze-fn)Takes a function which takes a history and returns a graph, explainer pair, and returns a checker which uses those graphs to identify cyclic dependencies.