Expand description
This crate is a port of Haskell’s QuickCheck.
For detailed examples, please see the README.
§Compatibility
In general, this crate considers the Arbitrary implementations provided as
implementation details. Strategies may or may not change over time, which may
cause new test failures, presumably due to the discovery of new bugs due to a
new kind of witness being generated. These sorts of changes may happen in
semver compatible releases.
Macros§
- quickcheck
- A macro for writing quickcheck tests.
Structs§
- Gen
- Gen represents a PRNG.
- Quick
Check - The main QuickCheck type for setting configuration and running QuickCheck.
- Test
Result - Describes the status of a single instance of a test.
Traits§
- Arbitrary
Arbitrarydescribes types whose values can be randomly generated and shrunk.- Testable
Testabledescribes 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.