Module todc_utils::linearizability

Checking linearizability of a history of operations applied to a shared object.

For more information, see the documentation of the WGLChecker and History structs.

Modules

• history
  A sequence of operations applied to a shared object.

Structs

• WGLChecker
  A linearizability checker.