In Haskell's QuickCheck there is a shrink function (http://hackage.haskell.org/packages/archive/QuickCheck/2.4.2/doc/html/Test-QuickCheck.html#t:Arbitrary). As far as I can see, this is not implemented in paycheck (or is it?)
In case of a failing testcase, QuickCheck's shrink function is used to search for smaller test-data that will still make the testcase fail. It tries to boil the test-data down to the relevant bits that cause the failure. This is immensely useful, since it allows QuickCheck to generate very concise and readable counter-examples to a tested property.
In Haskell's QuickCheck there is a shrink function (http://hackage.haskell.org/packages/archive/QuickCheck/2.4.2/doc/html/Test-QuickCheck.html#t:Arbitrary). As far as I can see, this is not implemented in paycheck (or is it?)
In case of a failing testcase, QuickCheck's shrink function is used to search for smaller test-data that will still make the testcase fail. It tries to boil the test-data down to the relevant bits that cause the failure. This is immensely useful, since it allows QuickCheck to generate very concise and readable counter-examples to a tested property.