Struct proptest::strategy::CheckStrategySanityOptions
[−]
[src]
pub struct CheckStrategySanityOptions { pub strict_complicate_after_simplify: bool, // some fields omitted }
Options passed to check_strategy_sanity()
.
Fields
strict_complicate_after_simplify: bool
If true (the default), require that complicate()
return true
at
least once after any call to simplify()
which itself returns once.
This property is not required by contract, but many strategies are designed in a way that this is expected to hold.
Trait Implementations
impl Clone for CheckStrategySanityOptions
[src]
fn clone(&self) -> CheckStrategySanityOptions
[src]
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0[src]
Performs copy-assignment from source
. Read more