Struct quickcheck::TestResult

pub struct TestResult { /* private fields */ }

Describes the status of a single instance of a test.

All testable things must be capable of producing a TestResult.

Implementations

impl TestResult

pub fn passed() -> TestResult

Produces a test result that indicates the current test has passed.

pub fn failed() -> TestResult

Produces a test result that indicates the current test has failed.

pub fn error<S: Into<String>>(msg: S) -> TestResult

Produces a test result that indicates failure from a runtime error.

pub fn discard() -> TestResult

Produces a test result that instructs quickcheck to ignore it. This is useful for restricting the domain of your properties. When a test is discarded, quickcheck will replace it with a fresh one (up to a certain limit).

pub fn from_bool(b: bool) -> TestResult

Converts a bool to a TestResult. A true value indicates that the test has passed and a false value indicates that the test has failed.

pub fn must_fail<T, F>(f: F) -> TestResult

where F: FnOnce() -> T + 'static, T: 'static,

Tests if a “procedure” fails when executed. The test passes only if f generates a task failure during its execution.

pub fn is_failure(&self) -> bool

Returns true if and only if this test result describes a failing test.

pub fn is_error(&self) -> bool

Returns true if and only if this test result describes a failing test as a result of a run time error.

Trait Implementations

impl Clone for TestResult

fn clone(&self) -> TestResult

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TestResult

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

Formats the value using the given formatter.

impl Testable for TestResult

fn result(&self, _: &mut Gen) -> TestResult