That’s right. Along with the load and fault generators, it includes some other useful tools such as a linearizability checker, as well as quite a few existing t

That’s right. Along with the load and fault generators, it includes some other useful tools such as a linearizability checker, as well as quite a few existing tests for other systems. From this we built out tests for Fauna’s stronger ACID guarantees.