smallcheck
smallcheck copied to clipboard
Bodigrim
Test your Haskell code by exhaustively checking its properties
There is a lot of overlap with number newtypes like Negative, Positive with QuickCheck. It would be nice to share those types between the various testing packages. Would you consider...
See [this reddit thread](http://www.reddit.com/r/haskell/comments/17idma/how_to_write_unmaintainable_haskell_code/c866olo?context=3). To do this, we need to decide: - what kinds of characters we want to generate, and at which rate - make newtype wrappers for some...
twanvl [writes](http://www.reddit.com/r/haskell/comments/18uhfy/announcing_smallcheck_10/c8igcjg): > The default smallCheck could just have a limit on the number of testcases and report the depth searched: > > ``` > λ> smallCheck prop_abc > Ok,...
First, provide a Fun datatype which knows about the function structure and show it instead. Second, implement either function shrinking as described by Klaessen, or lazy-smallcheck-like shrinking.
E.g. test that the Generic instance matches a hand-written one. See [this report](http://stackoverflow.com/q/15369809/110081) for an example of what can go wrong.
http://www.reddit.com/r/haskell/comments/18uhfy/announcing_smallcheck_10/c8igxeo