Function suppositions::generators::find_minimal [] [src]

pub fn find_minimal<G: Generator, F: Fn(G::Item) -> bool>(
    gen: &G,
    pool: InfoPool,
    check: F
) -> InfoPool

Find the smalltest InfoPool such that the function check succeeds when applied to the generated arguments Mostly a convenience wrapper around the shrinking functions in the data module.