Enum proptest::test_runner::FileFailurePersistence [−][src]
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 given to TestRunner::set_source_file()
is parsed. The path
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)
The path given to TestRunner::set_source_file()
is parsed. The
extension of the path is changed to the string given in this
configuration, and that filename is used.
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
[src]
impl Clone for FileFailurePersistence
fn clone(&self) -> FileFailurePersistence
[src]
fn clone(&self) -> FileFailurePersistence
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0[src]
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source
. Read more
impl Copy for FileFailurePersistence
[src]
impl Copy for FileFailurePersistence
impl Debug for FileFailurePersistence
[src]
impl Debug for FileFailurePersistence
fn fmt(&self, f: &mut Formatter) -> Result
[src]
fn fmt(&self, f: &mut Formatter) -> Result
Formats the value using the given formatter. Read more
impl PartialEq for FileFailurePersistence
[src]
impl PartialEq for FileFailurePersistence
fn eq(&self, other: &FileFailurePersistence) -> bool
[src]
fn eq(&self, other: &FileFailurePersistence) -> bool
This method tests for self
and other
values to be equal, and is used by ==
. Read more
fn ne(&self, other: &FileFailurePersistence) -> bool
[src]
fn ne(&self, other: &FileFailurePersistence) -> bool
This method tests for !=
.
impl Default for FileFailurePersistence
[src]
impl Default for FileFailurePersistence
impl FailurePersistence for FileFailurePersistence
[src]
impl FailurePersistence for FileFailurePersistence
fn load_persisted_failures(
&self,
source_file: Option<&'static str>
) -> Vec<[u8; 16]>
[src]
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. Read more
fn save_persisted_failure(
&mut self,
source_file: Option<&'static str>,
seed: [u8; 16],
shrunken_value: &Debug
)
[src]
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<R>fn box_clone(&self) -> Box<FailurePersistence>
[src]
fn box_clone(&self) -> Box<FailurePersistence>
Delegate method for producing a trait object usable with Clone
fn eq(&self, other: &FailurePersistence) -> bool
[src]
fn eq(&self, other: &FailurePersistence) -> bool
Equality testing delegate required due to constraints of trait objects.
fn as_any(&self) -> &Any
[src]
fn as_any(&self) -> &Any
Assistant method for trait object comparison.
Auto Trait Implementations
impl Send for FileFailurePersistence
impl Send for FileFailurePersistence
impl Sync for FileFailurePersistence
impl Sync for FileFailurePersistence