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 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 Debug for MapFailurePersistence

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

Formats the value using the given formatter.

impl Default for MapFailurePersistence

fn default() -> MapFailurePersistence

Returns the "default value" for a type.

impl PartialEq 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 FailurePersistence for MapFailurePersistence

Important traits for Vec<u8>

impl Write for Vec<u8>

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: &Debug )

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

Important traits for Box<W>

impl<W> Write for Box<W> where
    W: Write + ?Sized, impl<R> Read for Box<R> where
    R: Read + ?Sized, impl<I> Iterator for Box<I> where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;

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.