Crate quickcheck [] [src]

This crate is a port of Haskell's QuickCheck.

For detailed examples, please see the README.

Structs

QuickCheck

The main QuickCheck type for setting configuration and running QuickCheck.

StdGen

StdGen is the default implementation of Gen.

TestResult

Describes the status of a single instance of a test.

Traits

Arbitrary

Arbitrary describes types whose values can be randomly generated and shrunk.

Gen

Gen wraps a rand::Rng with parameters to control the distribution of random values.

Testable

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

Functions

empty_shrinker

Creates a shrinker with zero elements.

quickcheck

Convenience function for running QuickCheck.

single_shrinker

Creates a shrinker with a single element.