Trait proptest::test_runner::FailurePersistence [−][src]
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: &Debug
); fn box_clone(&self) -> Box<FailurePersistence>; fn eq(&self, other: &FailurePersistence) -> bool; fn as_any(&self) -> &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]>
&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: &Debug
)
&mut self,
source_file: Option<&'static str>,
seed: [u8; 16],
shrunken_value: &Debug
)
Store a new failure-generating seed associated with the given source_file
.
ⓘImportant traits for Box<R>
fn box_clone(&self) -> Box<FailurePersistence>
Delegate method for producing a trait object usable with Clone
fn eq(&self, other: &FailurePersistence) -> bool
Equality testing delegate required due to constraints of trait objects.
fn as_any(&self) -> &Any
Assistant method for trait object comparison.
Trait Implementations
impl<'a, 'b> PartialEq<FailurePersistence + 'b> for FailurePersistence + 'a
[src]
impl<'a, 'b> PartialEq<FailurePersistence + 'b> for FailurePersistence + 'a
Implementors
impl FailurePersistence for FileFailurePersistence
impl FailurePersistence for MapFailurePersistence