Crate quickcheck_ext

Source

Macros§

quickcheck
A macro for writing quickcheck tests.

Structs§

Gen
Gen represents a PRNG.
QuickCheck
The main QuickCheck type for setting configuration and running QuickCheck.
TestResult
Describes the status of a single instance of a test.

Traits§

Arbitrary
Arbitrary describes types whose values can be randomly generated and shrunk.
GenRange
SliceRandom
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.