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.