pbt 0.4.14

Property-based testing with `derive` macros, aware of mutual induction & instantiability.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

pub mod cache;
pub mod construct;
mod impls;
pub mod multiset;
pub mod reflection;
mod scc;
pub mod search;
pub mod shrink;
pub mod sigma;
pub mod size;

#[cfg(test)]
mod test;

// Re-exports for macros:
pub use {pbt_macros::Pbt, scc::StronglyConnectedComponents, wyrand::WyRand};

/// The 16-bit hash seed, to be zero-extended for various platforms.
pub const SEED: u16 = 0x1337;