flipflop 0.2.0

Stress-tester for double-ended iterators.
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
31
32
33
34
35
36
37
38
39
40
41

//! Stress-tester for double-ended iterators.
//!
//! ```
//! use flipflop::prelude::*;
//!
//! let mut accum = accum::Unbounded::new();
//! let mut suite = suite::Consistent::new();
//!
//! let mut iter = (1..10).rev().flat_map(|x| 0..x);
//!
//! if let Err(err) = suite.run(&iter, &mut accum) {
//!     panic!("{}", err);
//! }
//! ```
#![cfg_attr(not(any(feature = "std", test, doc)), no_std)]
#![cfg_attr(doc, feature(doc_cfg))]
#![cfg_attr(doc, doc(auto_cfg))]

#[cfg(any(doc, feature = "alloc"))]
extern crate alloc;

pub mod accum;
pub mod error;
pub mod iter;
mod side;
pub mod strategy;
pub mod suite;
pub mod verifier;

pub use crate::{accum::Accum, side::Side, strategy::Strategy, suite::Suite, verifier::Verifier};

/// Prelude for this crate, to be blob-imported in relevant code.
pub mod prelude {
    pub use crate::{
        accum::{self, Accum},
        side::Side,
        strategy::{self, Strategy},
        suite::{self, Suite},
        verifier::{self, Verifier},
    };
}