Struct proptest_support::FailedSeeds

pub struct FailedSeeds(pub Vec<&'static str>);

Persists all failed seeds to the source file.

Proptest generates nondeterministic tests in the sense that different seeds will be used in each run, this is intended because we expect the properties to hold for all possible inputs. So test flakes should be treated as test failures. This struct configures the containing proptest to log the seeds that caused test failures, please add all those seeds to the source file so that the test failure can be persisted.

Tuple Fields

0: Vec<&'static str>

Trait Implementations

impl Clone for FailedSeeds

fn clone(&self) -> FailedSeeds

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for FailedSeeds

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl FailurePersistence for FailedSeeds

fn load_persisted_failures2( &self, _source_file: Option<&'static str> ) -> Vec<PersistedSeed>

Supply seeds associated with the given source_file that may be used by a TestRunner’s random number generator in order to consistently recreate a previously-failing Strategy-provided value.

fn save_persisted_failure2( &mut self, source_file: Option<&'static str>, seed: PersistedSeed, shrunken_value: &dyn Debug )

Store a new failure-generating seed associated with the given source_file.

fn box_clone(&self) -> Box<dyn FailurePersistence>

Delegate method for producing a trait object usable with Clone

fn eq(&self, other: &dyn FailurePersistence) -> bool

Equality testing delegate required due to constraints of trait objects.

fn as_any(&self) -> &dyn Any

Assistant method for trait object comparison.

fn load_persisted_failures( &self, source_file: Option<&'static str> ) -> Vec<[u8; 16]>

👎Deprecated

Use load_persisted_failures2 instead.

fn save_persisted_failure( &mut self, source_file: Option<&'static str>, seed: [u8; 16], shrunken_value: &dyn Debug )

👎Deprecated

Use save_persisted_failures2 instead.

impl PartialEq for FailedSeeds

fn eq(&self, other: &FailedSeeds) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for FailedSeeds