hedgehog.core

Whether a test is covered by a classifier, and therefore belongs to a Class

The total number of tests which are covered by a classifier.

The relative number of tests which are covered by a classifier.

The number of tests a property had to discard.

Generator for random values of A.

A record containing the details of a test run.

The extent to which a test is covered by a classifier.

When a classifier's coverage does not exceed the required minimum, the test will be failed.

The name of a classifier.

A slightly different way to express a property, with the added benefit of exposing a pure "test". This enables running the test with specific examples, either as a "golden" test or from the shell. Or both. The trade-off is that the A needs to be exposed/declared, and it's likely to be some horrible multi-value tuple.

The numbers of times a property was able to shrink after a failing test.

The number of shrinks to try before giving up on shrinking.

The status of a property test run.

In the case of a failure it provides the seed used for the test, the number of shrinks, and the execution log.

The number of tests a property ran successfully.

NOTE: This differs from the Haskell version by not having an effect on the Node for performance reasons. See haskell-difference.md for more information.

FIXME The LazyList here is critical to avoid running extra tests during shrinking. The alternative might be something like: https://github.com/hedgehogqa/scala-hedgehog/compare/topic/issue-66-lazy-shrinking