jepsen.tests.causal
check
(check model)A series of causally consistent (CC) ops are a causal order (CO). We issue a CO of 5 read (r) and write (w) operations (r w r w r) against a register (key). All operations in this CO must appear to execute in the order provided by the issuing site (process). We also look for anomalies, such as unexpected values
inconsistent
(inconsistent msg)Represents an invalid termination of a model; e.g. that an operation could not have taken place.