1 2 3 4 5 6 7 8
//! Utilities for writing and testing distributed algorithms. pub mod linearizability; pub mod specifications; pub use linearizability::history::{Action, History}; pub use linearizability::WGLChecker; pub use specifications::Specification;