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]
impl Clone for CheckStrategySanityOptions
fn clone(&self) -> CheckStrategySanityOptions
[src]
fn clone(&self) -> CheckStrategySanityOptions
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0[src]
fn clone_from(&mut self, source: &Self)
1.0.0
[src]Performs copy-assignment from source
. Read more
impl Copy for CheckStrategySanityOptions
[src]
impl Copy for CheckStrategySanityOptions
impl Debug for CheckStrategySanityOptions
[src]
impl Debug for CheckStrategySanityOptions
fn fmt(&self, f: &mut Formatter) -> Result
[src]
fn fmt(&self, f: &mut Formatter) -> Result
Formats the value using the given formatter. Read more
impl Default for CheckStrategySanityOptions
[src]
impl Default for CheckStrategySanityOptions
Auto Trait Implementations
impl Send for CheckStrategySanityOptions
impl Send for CheckStrategySanityOptions
impl Sync for CheckStrategySanityOptions
impl Sync for CheckStrategySanityOptions