blob: f33ada9a847be7adaa11cfd6f47a73d36bbb78a5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
use core::convert::TryInto;
use proptest::collection::*;
use proptest::prelude::*;
pub fn array_strategy<const N: usize>() -> impl Strategy<Value = [String; N]> {
vec(any::<String>(), N).prop_map(|v| v.try_into().unwrap())
}
pub fn vec_strategy(n: usize) -> impl Strategy<Value = Vec<String>> {
vec(any::<String>(), n)
}
|
