[Haskell-cafe] ANN: LeanCheck v0.9.0 -- enumerative property testing

Rudy Matela rudy at matela.com.br
Fri Jan 18 00:24:02 UTC 2019

Hi Arian,

When in doubt and with a bit of time to spare, you can always use both :-)

But here is some quick list of pros and cons:

* LeanCheck/enumerative guarantees the smallest/simplest counterexample if
  one is found.  This without the need of shrinking.

* LeanCheck/enumerative allows for existential properties.

* LeanCheck/enumerative guarantees that tests aren't repeated most of the

* QuickCheck/random always hits different test cases, so in the long run
  you may get more test coverage.  With LeanCheck you only get more
  coverage when you configure more tests.

* LeanCheck/enumerative is more memory intensive when compared to
  QuickCheck/random.  With LeanCheck you may run out of memory when you're
  running tens of millions of tests.

You can find more details here:


On Thu, Jan 17, 2019 at 10:57:17AM +0100, Arian van Putten wrote:
> Awesome.  I always wondered what the pros/cons are compared to random
> testing like Quick check. When should I reach to enumerative testing?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20190117/ef4c1e56/attachment.html>

More information about the Haskell-Cafe mailing list