The latest version of QuickCheck-safe is 0.1.0.6-1.
QuickCheck-safe
Version 0.1.0.6 revision 0 uploaded by BertramFelgenhauer.
Package meta
- Synopsis
- Safe reimplementation of QuickCheck's core
- Description
QuickCheck-safe reimplements the quickCheck functionality with a pure interface and a very small trusted base (see Test.QuickCheck.Safe.Trusted).
uses the existing Arbitrary instances
implemented features: testing, result minimization (i.e., shrinking)
missing features: expected failures, label frequencies, coverage
The package is targeted at users who want to leverage SafeHaskell for sandboxing.
>>> putStr $ quickCheck (inventQCGen ()) (\x -> length (x :: [()]) < 10) *** Failed! Falsifiable (after 18 tests and 3 shrinks): [(),(),(),(),(),(),(),(),(),(),(),(),(),(),()]
- Author
- Bertram Felgenhauer
- Bug reports
- n/a
- Category
- Testing
- Copyright
- 2015,2017 Bertram Felgenhauer
- Homepage
- n/a
- Maintainer
- Bertram Felgenhauer <int-e@gmx.de>
- Package URL
- n/a
- Stability
- n/a