smallcheck: A property-based testing library

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain] [Publish]

SmallCheck is a testing library that allows to verify properties for all test cases up to some depth. The test cases are generated automatically by SmallCheck.


[Skip to Readme]

Properties

Versions 0.2.1, 0.4, 0.5, 0.6, 0.6.1, 0.6.2, 1.0, 1.0.1, 1.0.2, 1.0.3, 1.0.4, 1.1, 1.1.0.1, 1.1.1, 1.1.2, 1.1.3, 1.1.3.1, 1.1.4, 1.1.5, 1.1.6, 1.1.7, 1.2.0, 1.2.1, 1.2.1, 1.2.1.1
Change log CHANGELOG.md
Dependencies base (>=4.3 && <5), ghc-prim (>=0.2), logict, mtl, nats, pretty, semigroups, transformers, void [details]
License BSD-3-Clause
Author Colin Runciman, Roman Cheplyaka
Maintainer Andrew Lelechenko <andrew.lelechenko@gmail.com>
Category Testing
Home page https://github.com/Bodigrim/smallcheck
Bug tracker https://github.com/Bodigrim/smallcheck/issues
Source repo head: git clone git://github.com/Bodigrim/smallcheck.git
Uploaded by Bodigrim at 2021-01-16T16:24:04Z

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


Readme for smallcheck-1.2.1

[back to package description]

SmallCheck: a property-based testing library for Haskell

SmallCheck is a testing library that allows to verify properties for all test cases up to some depth. The test cases are generated automatically by SmallCheck.

Usefulness of such an approach to testing is based on the following observation:

If a program fails to meet its specification in some cases, it almost always fails in some simple case.

To get started with SmallCheck: