Enum zebra_test::prelude::prop::test_runner::FileFailurePersistence

pub enum FileFailurePersistence {
    Off,
    SourceParallel(&'static str),
    WithSource(&'static str),
    Direct(&'static str),
    // some variants omitted
}

Describes how failing test cases are persisted.

Note that file names in this enum are &str rather than &Path since constant functions are not yet in Rust stable as of 2017-12-16.

In all cases, if a derived path references a directory which does not yet exist, proptest will attempt to create all necessary parent directories.

Variants

Off

Completely disables persistence of failing test cases.

This is semantically equivalent to Direct("/dev/null") on Unix and Direct("NUL") on Windows (though it is internally handled by simply not doing any I/O).

SourceParallel(&'static str)

The path of the source file under test is traversed up the directory tree until a directory containing a file named lib.rs or main.rs is found. A sibling to that directory with the name given by the string in this configuration is created, and a file with the same name and path relative to the source directory, but with the extension changed to .txt, is used.

For example, given a source path of /home/jsmith/code/project/src/foo/bar.rs and a configuration of SourceParallel("proptest-regressions") (the default), assuming the src directory has a lib.rs or main.rs, the resulting file would be /home/jsmith/code/project/proptest-regressions/foo/bar.txt.

If no lib.rs or main.rs can be found, a warning is printed and this behaves like WithSource.

If no source file has been configured, a warning is printed and this behaves like Off.

WithSource(&'static str)

Failures are persisted in a file with the same path as the source file under test, but the extension is changed to the string given in this configuration.

For example, given a source path of /home/jsmith/code/project/src/foo/bar.rs and a configuration of WithSource("regressions"), the resulting path would be /home/jsmith/code/project/src/foo/bar.regressions.

Direct(&'static str)

The string given in this option is directly used as a file path without any further processing.

Trait Implementations

impl Clone for FileFailurePersistence

fn clone(&self) -> FileFailurePersistence

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for FileFailurePersistence

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl Default for FileFailurePersistence

fn default() -> FileFailurePersistence

Returns the “default value” for a type.

impl FailurePersistence for FileFailurePersistence

fn load_persisted_failures2( &self, source_file: Option<&'static str> ) -> Vec<PersistedSeed>

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_failure2( &mut self, source_file: Option<&'static str>, seed: PersistedSeed, 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 + 'static)

Assistant method for trait object comparison.

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

👎Deprecated

Use load_persisted_failures2 instead.

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

👎Deprecated

Use save_persisted_failures2 instead.

impl PartialEq for FileFailurePersistence

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

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

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for FileFailurePersistence

impl StructuralPartialEq for FileFailurePersistence