quickcheck-with-counterexamples
Version 1.2 revision 0 uploaded by NickSmallbone.
Package meta
- Synopsis
- Get counterexamples from QuickCheck as Haskell values
- Description
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
Test.QuickCheck. The library is largely compatible with normal QuickCheck, but the return types of Test.QuickCheck.Counterexamples.quickCheck and related functions are changed to include a counterexample.For usage information, see the Test.QuickCheck.Counterexamples module.
- Author
- Nick Smallbone
- Bug reports
- n/a
- Category
- Testing
- Copyright
- n/a
- Homepage
- http://www.github.com/nick8325/quickcheck-with-counterexamples
- Maintainer
- nick@smallbone.se
- Package URL
- n/a
- Stability
- n/a