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§
- Quick
Check - The main QuickCheck type for setting configuration and running QuickCheck.
- StdGen
- StdGen is the default implementation of
Gen
. - Test
Result - 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 arand::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.