recon_sim/lib.rs
1//! A deterministic simulator for sans-IO protocols.
2//!
3//! The simulator is the deliverable, not a test harness. It provides the fair-loss network the
4//! bottom of the protocol stack assumes, a virtual clock, and a seeded generator, so that a
5//! run is completely determined by its seed and configuration — and a failing run is a number
6//! you can replay.
7
8pub mod codec;
9pub mod config;
10pub mod narrate;
11pub mod scenario;
12pub mod shrink;
13pub mod sim;
14pub mod trace;
15
16pub use config::Config;
17pub use scenario::{Scenario, Step};
18pub use shrink::{Reduction, shrink};
19pub use sim::Sim;
20pub use trace::{DropReason, NotBegun, OpId, ProtoTrace, ProtoTraceEvent, Trace, TraceEvent};