proptest::strategy

Function check_strategy_sanity

source
pub fn check_strategy_sanity<S: Strategy>(
    strategy: S,
    options: Option<CheckStrategySanityOptions>,
)
where S::Tree: Clone + Debug, S::Value: PartialEq,
Expand description

Run some tests on the given Strategy to ensure that it upholds the simplify/complicate contracts.

This is used to internally test proptest, but is made generally available for external implementations to use as well.

options can be passed to configure the test; if None, the defaults are used. Note that the defaults check for certain properties which are not actually required by the Strategy and ValueTree contracts; if you think your code is right but it fails the test, consider whether a non-default configuration is necessary.

This can work with fallible strategies, but limits how many times it will retry failures.