Crate quickcheck

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.
• 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.
• 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.