im_rc::proptest

Function vector

Source 
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,
Expand description

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);
    }
}