Struct proptest::test_runner::MapFailurePersistence

pub struct MapFailurePersistence {
    pub map: BTreeMap<&'static str, BTreeSet<[u8; 16]>>,
}

Failure persistence option that loads and saves seeds in memory on the heap. This may be useful when accumulating test failures across multiple TestRunner instances for external reporting or batched persistence.

Fields

map: BTreeMap<&'static str, BTreeSet<[u8; 16]>>

Backing map, keyed by source_file.

Trait Implementations

impl FailurePersistence for MapFailurePersistence

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.

impl Debug for MapFailurePersistence

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

Formats the value using the given formatter.

impl PartialEq<MapFailurePersistence> for MapFailurePersistence

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

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

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

This method tests for !=.

impl Clone for MapFailurePersistence

fn clone(&self) -> MapFailurePersistence

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Default for MapFailurePersistence

fn default() -> MapFailurePersistence

Returns the "default value" for a type.