Crate quickcheck

Source
Expand description

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.