package qcheck-core

  1. Overview
  2. Docs
Core QCheck library

Install 

dune-project
 Dependency

github.com Changelog Edit opam file Versions (7)

Authors

  1. T
    the qcheck contributors

Maintainers

  1. S
    simon.cruanes.2007@m4x.org

Sources

v0.90.tar.gz
md5=53cde85bd3f0431faeddeae493f32d9d
sha512=552871a95bcf27a81cd518a4aefc60ac0f08ef73c8e115f199952707b88ab20f7ecb762abb835a196c1adb7b948447e487daa0efbf6a39ee64bfcee0264f189f

doc/index.html

qcheck-core

The qcheck-core opam package contains two libraries:

  • The qcheck-core library for defining property-based tests
  • The qcheck-core.runner library for running property-based tests

The qcheck-core library

The qcheck-core library exposes two toplevel modules:

  • QCheck is the initial property-based-testing module and
  • QCheck2 is a newer property-based-testing module supporting integrated shrinking

Of the two, QCheck is the most battle-tested module. QCheck2 on the other hand offers integrated shrinking, thus removing the need for having to hand-write shrinkers.

QCheck tests can be ported to QCheck2 by following the migration guide. Please file an issue if you encounter problems using either of the two modules.

The qcheck-core.runner library

The entry point of the qcheck-core.runner library is the QCheck_base_runner module.

One can run a list of property-based tests by calling either