The quickcheck-with-counterexamples package
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 Test.QuickCheck.Counterexamples module.
[Skip to Readme]
|Dependencies||base (==4.*), QuickCheck, template-haskell [details]|
|Source repo||head: git clone https://github.com/nick8325/quickcheck-with-counterexamples
this: git clone https://github.com/nick8325/quickcheck-with-counterexamples(tag 1.0)
|Uploaded||Sun Jan 15 21:10:26 UTC 2017 by NickSmallbone|
|Updated||Mon Jan 16 01:05:23 UTC 2017 by NickSmallbone to revision 3 [What is this?]|
|Distributions||LTSHaskell:1.0, NixOS:1.0, Stackage:1.0, openSUSE:1.0|
|Downloads||555 total (19 in the last 30 days)|
|Rating||(no votes yet) [estimated by rule of succession]|
|Status||Docs available [build log]
Last success reported on 2017-01-15 [all 1 reports]
Hackage Matrix CI
- quickcheck-with-counterexamples-1.0.tar.gz [browse] (Cabal source package)
- Package description (revised from the package)
Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.
For package maintainers and hackage trustees