Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
Package Usage: hackage: quickcheck-with-counterexamples
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.
3 versions
Latest release: about 5 years ago
2,236 downloads total
View more package details: https://packages.ecosyste.ms/registries/hackage.haskell.org/packages/quickcheck-with-counterexamples
View more repository details: https://repos.ecosyste.ms/hosts/GitHub/repositories/nick8325%2Fquickcheck-with-counterexamples
Dependent Repos 1
Lysxia/pfa
Parallel Functional Arrays- * pfa.cabal
Size: 20.5 KB - Last synced: about 1 year ago - Pushed: about 6 years ago
lsrcz/grisette-synth-lib
- * grisette-synth-lib.cabal
Size: 533 KB - Last synced: about 1 month ago - Pushed: about 1 month ago