consistency_model 0.0.0

A tester for distributed system consistency properties like linearizability and sequential consistency.
Documentation