Crate quickcheck

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.