sigma_test_util/
lib.rs

1use proptest::strategy::ValueTree;
2use proptest::test_runner::TestRunner;
3use proptest::{arbitrary::Arbitrary, prelude::*};
4
5pub fn force_any_val<T: Arbitrary>() -> T {
6    let mut runner = TestRunner::default();
7    any::<T>().new_tree(&mut runner).unwrap().current()
8}
9
10pub fn force_any_val_with<T: Arbitrary>(args: T::Parameters) -> T {
11    let mut runner = TestRunner::default();
12    any_with::<T>(args).new_tree(&mut runner).unwrap().current()
13}