Crate todc_utils

Utilities for writing and testing distributed algorithms.

Re-exports

• pub use linearizability::history::Action;
• pub use linearizability::history::History;
• pub use linearizability::WGLChecker;
• pub use specifications::Specification;

Modules

• linearizability
  Checking linearizability of a history of operations applied to a shared object.
• specifications
  Specifying the behavior of shared objects.