Trait proptest::test_runner::FailurePersistence

pub trait FailurePersistence: Send + Sync + Debug {
    fn load_persisted_failures(
        &self, 
        source_file: Option<&'static str>
    ) -> Vec<[u8; 16]>;
    fn save_persisted_failure(
        &mut self, 
        source_file: Option<&'static str>, 
        seed: [u8; 16], 
        shrunken_value: &dyn Debug
    );
    fn box_clone(&self) -> Box<dyn FailurePersistence>;
    fn eq(&self, other: &dyn FailurePersistence) -> bool;
    fn as_any(&self) -> &dyn Any;
}

Provides external persistence for historical test failures by storing seeds.

Required Methods

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

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_failure(
    &mut self,
    source_file: Option<&'static str>,
    seed: [u8; 16],
    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.

Trait Implementations

impl<'a, 'b> PartialEq<dyn FailurePersistence + 'b> for dyn FailurePersistence + 'a

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

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

#[must_use] fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

Implementors

impl FailurePersistence for FileFailurePersistence

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

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

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

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

fn as_any(&self) -> &dyn Any

impl FailurePersistence for MapFailurePersistence

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

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

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

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

fn as_any(&self) -> &dyn Any