1 2 3 4 5 6 7 8 9 10 11 12
//! Layer 3: Failures-Divergences Refinement checking //! //! This module provides bounded refinement checking following CSP theory. //! Feature gated: requires `testing-fdr` mod config; mod explorer; mod subsys; pub use config::*; pub use explorer::*; pub use subsys::*;