Trait quickcheck::Testable [] [src]

pub trait Testable: Send + 'static {
    fn result<G: Gen>(&self, &mut G) -> TestResult;
}

Testable describes types (e.g., a function) whose values can be tested.

Anything that can be tested must be capable of producing a TestResult given a random number generator. This is trivial for types like bool, which are just converted to either a passing or failing test result.

For functions, an implementation must generate random arguments and potentially shrink those arguments if they produce a failure.

It's unlikely that you'll have to implement this trait yourself.

Required Methods

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

Implementors