[][src]Function im::proptest::vector

pub fn vector<A: Strategy + 'static>(
    element: A,
    size: Range<usize>
) -> BoxedStrategy<Vector<<A::Tree as ValueTree>::Value>> where
    <A::Tree as ValueTree>::Value: Clone

A strategy for generating a Vector of a certain size.

Examples

proptest! {
    #[test]
    fn proptest_a_vector(ref l in vector(".*", 10..100)) {
        assert!(l.len() < 100);
        assert!(l.len() >= 10);
    }
}