quickcheck-dynamic: A library for stateful property-based testing

[ apache, library, testing ] [ Propose Tags ] [ Report a vulnerability ]

Please see the README on GitHub at https://github.com/input-output-hk/quickcheck-dynamic#readme

[Skip to Readme]

Modules

[Index] [Quick Jump]

Test
- QuickCheck

Downloads

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

Maintainer's Corner

Package maintainers

ch1bo, abaillyiohk, IOHK

For package maintainers and hackage trustees

edit package information

Candidates

0.1.0, 1.0.0, 1.1.0, 2.0.0, 3.4.0, 3.4.2, 4.0.0

Versions [RSS]	1.0.0, 1.1.0, 2.0.0, 3.0.0, 3.0.1, 3.0.2, 3.0.3, 3.1.0, 3.1.1, 3.2.0, 3.3.0, 3.3.1, 3.4.0, 3.4.1, 3.4.2, 4.0.0, 4.0.1
Change log	CHANGELOG.md
Dependencies	base (>=4.7 && <5), containers, mtl, QuickCheck, random [details]
License	Apache-2.0[multiple license files]
Author	Ulf Norell
Maintainer	sebastian.nagel@iohk.io
Category	Testing
Home page	https://github.com/input-output-hk/quickcheck-dynamic#readme
Bug tracker	https://github.com/input-output-hk/quickcheck-dynamic/issues
Source repo	head: git clone https://github.com/input-output-hk/quickcheck-dynamic
Uploaded	by ch1bo at 2025-07-14T12:41:02Z
Distributions	LTSHaskell:4.0.1, NixOS:4.0.1, Stackage:4.0.1
Reverse Dependencies	1 direct, 0 indirect [details]
Downloads	1897 total (24 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs uploaded by user Build status unknown [no reports yet]

Readme for quickcheck-dynamic-4.0.1

[back to package description]

quickcheck-dynamic

A library for testing stateful programs using QuickCheck and dynamic logic.

Background

This library was initially designed by QuviQ in collaboration with IOG to provide a dedicated test framework for Plutus "Smart contracts". As the need of a Model-Based Testing framework arises in quite a lot of contexts, it was deemed useful to extract the most generic part as a standalone package with no strings attached to Plutus or Cardano.

Usage

Documentation is currenly mostly provided inline as Haddock comments. Checkout StateModel and DynamicLogic modules for some usage instructions.
For a concrete standalone example, have a look at the Registry and RegistryModel module from the test suite, which respectively implement and model a multithreaded Thread registry inspired by the Erlang version of QuickCheck described in this article
For more documentation on how to quickcheck-dynamic is used to test Plutus DApps, check this tutorial.
Apart from Plutus, this library is now in use in the Hydra project to verify the Head Protocol implementation with respect to the original research paper.