Expand description
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.