Crate quickcheck [] [src]

This crate is a port of Haskell's QuickCheck.

For detailed examples, please see the README.

Macros

quickcheck

A macro for writing quickcheck tests.

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.

Rng

A random number generator.

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.