Crate quickcheck [−] [src]

This crate is a port of Haskell's QuickCheck.

For detailed examples, please see the README.

Macros

A macro for writing quickcheck tests.

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.

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.
Rng	A random number generator.
Testable	`Testable` describes types (e.g., a function) whose values can be tested.

empty_shrinker	Creates a shrinker with zero elements.
quickcheck	Convenience function for running QuickCheck.
single_shrinker	Creates a shrinker with a single element.