targeted-quickcheck: Targeted generators for QuickCheck

[ library, mit, program, testing ] [ Propose Tags ] [ Report a vulnerability ]

Combinators to write QuickCheck generators using classical search algorithms guided by an objective function

Modules

Test
- QuickCheck
  - Test.QuickCheck.Targeted

Downloads

targeted-quickcheck-0.1.0.1.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

PedroVasconcelos

For package maintainers and hackage trustees

edit package information

Candidates

0.1.0.0

Versions [RSS]	0.1.0.1
Change log	CHANGELOG.md
Dependencies	base (>=4.17.2.1 && <4.18), containers (>=0.6.7 && <0.7), hspec (>=2.11.10 && <2.12), QuickCheck (>=2.15.0 && <2.16), targeted-quickcheck [details]
License	MIT
Author	Pedro Vasconcelos
Maintainer	pbvascon@fc.up.pt
Category	Testing
Home page	https://github.com/pbv/targeted-quickcheck/
Uploaded	by PedroVasconcelos at 2025-03-25T14:53:30Z
Distributions
Executables	targeted-examples
Downloads	5 total (5 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs not available [build log] All reported builds failed as of 2025-03-25 [all 2 reports]