anysystem 0.1.2

A framework for deterministic simulation and testing of distributed systems
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30

#![warn(missing_docs)]

//! Model checking support.

mod dependency;
pub mod error;
pub mod events;
pub mod model_checker;
pub mod network;
mod node;
mod pending_events;
pub mod predicates;
pub mod state;
pub mod strategies;
pub mod strategy;
pub mod system;
mod trace_handler;
mod util;

use dependency::DependencyResolver;
pub use error::McError;
pub use events::{EventOrderingMode, McEvent, McEventId};
pub use model_checker::ModelChecker;
pub use network::McNetwork;
use node::{McNode, McNodeState};
use pending_events::PendingEvents;
pub use state::McState;
pub use strategy::*;
pub use system::{McSystem, McTime};
use trace_handler::TraceHandler;