Get counterexamples from QuickCheck as Haskell values http://www.github.com/nick8325/quickcheck-with-counterexamples
|Version on this page:||[email protected]:3|
|LTS Haskell 11.22:||[email protected]:3|
|Stackage Nightly 2018-03-12:||[email protected]:3|
|Latest on Hackage:||1.2|
When QuickCheck finds a counterexample, it prints it out but doesn't save it so that the programmer can access it. This can be annoying when debugging.
This library provides a small extension to QuickCheck that returns
counterexamples as normal Haskell values. To use it, just import
Test.QuickCheck.Counterexamples instead of
The library is largely compatible with normal QuickCheck, but the
return types of
related functions are changed to include a counterexample.
For usage information, see the