Trait proptest::test_runner::FailurePersistence
source · 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;
}
Expand description
Provides external persistence for historical test failures by storing seeds.
Required Methods§
sourcefn load_persisted_failures(
&self,
source_file: Option<&'static str>
) -> Vec<[u8; 16]> ⓘ
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.
sourcefn save_persisted_failure(
&mut self,
source_file: Option<&'static str>,
seed: [u8; 16],
shrunken_value: &dyn Debug
)
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
.
sourcefn box_clone(&self) -> Box<dyn FailurePersistence>
fn box_clone(&self) -> Box<dyn FailurePersistence>
Delegate method for producing a trait object usable with Clone
sourcefn eq(&self, other: &dyn FailurePersistence) -> bool
fn eq(&self, other: &dyn FailurePersistence) -> bool
Equality testing delegate required due to constraints of trait objects.