Expand description
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);
}Re-exports§
pub use crate::accum::Accum;pub use crate::strategy::Strategy;pub use crate::suite::Suite;pub use crate::verifier::Verifier;
Modules§
- accum
Accumtrait and implementations.- error
- Error types.
- iter
- Various iterator types.
- prelude
- Prelude for this crate, to be blob-imported in relevant code.
- strategy
Strategytrait and impls.- suite
Suitetrait and impls.- verifier
Verifiertrait and impls.
Enums§
- Side
- Which side of an iterator to check.