[−][src]Struct proptest::test_runner::TestRunner
State used when running a proptest test.
Methods
impl TestRunner
[src]
pub fn new(config: Config) -> Self
[src]
Create a fresh TestRunner
with the given configuration.
pub fn rng(&mut self) -> &mut TestRng
[src]
Returns the RNG for this test run.
pub fn new_rng(&mut self) -> TestRng
[src]
Create a new, independent but deterministic RNG from the RNG in this runner.
pub fn config(&self) -> &Config
[src]
Returns the configuration of this runner.
pub fn run<S: Strategy>(
&mut self,
strategy: &S,
test: impl Fn(S::Value) -> TestCaseResult
) -> Result<(), TestError<<S as Strategy>::Value>>
[src]
&mut self,
strategy: &S,
test: impl Fn(S::Value) -> TestCaseResult
) -> Result<(), TestError<<S as Strategy>::Value>>
Run test cases against f
, choosing inputs via strategy
.
If any failure cases occur, try to find a minimal failure case and
report that. If invoking f
panics, the panic is turned into a
TestCaseError::Fail
.
If failure persistence is enabled, all persisted failing cases are tested first. If a later non-persisted case fails, its seed is persisted before returning failure.
Returns success or failure indicating why the test as a whole failed.
pub fn run_one<V: ValueTree>(
&mut self,
case: V,
test: impl Fn(V::Value) -> TestCaseResult
) -> Result<bool, TestError<V::Value>>
[src]
&mut self,
case: V,
test: impl Fn(V::Value) -> TestCaseResult
) -> Result<bool, TestError<V::Value>>
Run one specific test case against this runner.
If the test fails, finds the minimal failing test case. If the test does not fail, returns whether it succeeded or was filtered out.
This does not honour the fork
config, and will not be able to
terminate the run if it runs for longer than timeout
. However, if the
test function returns but took longer than timeout
, the test case
will fail.
pub fn reject_local(
&mut self,
whence: impl Into<Reason>
) -> Result<(), Reason>
[src]
&mut self,
whence: impl Into<Reason>
) -> Result<(), Reason>
Update the state to account for a local rejection from whence
, and
return Ok
if the caller should keep going or Err
to abort.
pub fn flat_map_regen(&self) -> bool
[src]
Increment the counter of flat map regenerations and return whether it is still under the configured limit.
Trait Implementations
impl Clone for TestRunner
[src]
fn clone(&self) -> TestRunner
[src]
fn clone_from(&mut self, source: &Self)
1.0.0[src]
Performs copy-assignment from source
. Read more
impl Debug for TestRunner
[src]
impl Display for TestRunner
[src]
impl Default for TestRunner
[src]
Equivalent to: TestRunner::new(Config::default())
.
Auto Trait Implementations
impl Send for TestRunner
impl Sync for TestRunner
Blanket Implementations
impl<T> From for T
[src]
impl<T, U> TryFrom for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = !
try_from
)The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
try_from
)The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
[src]
impl<T, U> Into for T where
U: From<T>,
[src]
U: From<T>,
impl<T> Borrow for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> ToString for T where
T: Display + ?Sized,
[src]
T: Display + ?Sized,
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,