falsify: Property-based testing with internal integrated shrinking

[ bsd3, library, testing ] [ Propose Tags ]

This library provides property based testing with support for internal integrated shrinking: integrated in the sense of Hedgehog, meaning that there is no need to write a separate shrinker and generator; and internal in the sense of Hypothesis, meaning that this works well even across monadic bind. However, the actual techniques that power falsify are quite different from both of these two libraries.

Most users will probably want to use the integration with tasty, and use Test.Tasty.Falsify as their main entrypoint into the library. The Test.Falsify.Interactive module can be used to experiment with the library in ghci.

Downloads

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'.

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1.0, 0.1.1, 0.2.0
Change log CHANGELOG.md
Dependencies base (>=4.12 && <4.19), base16-bytestring (>=1.0 && <1.1), binary (>=0.8 && <0.9), bytestring (>=0.10 && <0.12), containers (>=0.6 && <0.7), data-default (>=0.7 && <0.8), mtl (>=2.2 && <2.4), optics-core (>=0.3 && <0.5), optparse-applicative (>=0.16 && <0.19), selective (>=0.4 && <0.8), sop-core (>=0.5 && <0.6), splitmix (>=0.1 && <0.2), tagged (>=0.8 && <0.9), tasty (>=1.3 && <1.5), transformers (>=0.5 && <0.7), vector (>=0.12 && <0.14) [details]
License BSD-3-Clause
Copyright Well-Typed LLP
Author Edsko de Vries
Maintainer edsko@well-typed.com
Revised Revision 1 made by EdskoDeVries at 2024-01-19T10:26:38Z
Category Testing
Source repo head: git clone https://github.com/well-typed/falsify
Uploaded by EdskoDeVries at 2023-11-08T14:10:54Z
Distributions NixOS:0.2.0
Reverse Dependencies 2 direct, 1 indirect [details]
Downloads 317 total (27 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2023-11-08 [all 1 reports]