Struct ProptestStatefulConfig

pub struct ProptestStatefulConfig {
    pub min_ops: usize,
    pub max_ops: usize,
    pub test_case_timeout: Duration,
    pub proptest_config: ProptestConfig,
}

Used by the caller of test() for providing config options.

Fields

min_ops: usize

Minimum number of operations to generate for any given test case.

max_ops: usize

Maximum number of operations to generate for any given test case.

test_case_timeout: Duration

Amount of time to wait before timing out and failing a test case.

proptest_config: ProptestConfig

Can be used to override default proptest configuration parameters.

Note, however, that we ignore the provided value of ProptestConfig::max_shrink_iters, and always set it to max_ops * 2, because the default value is not high enough to make sure we won’t fail out of shrinking before we’ve had a chance to try removing and adding back in each individual op.