• en

qcheck

QuickCheck inspired property-based testing for OCaml.

This module allows to check invariants (properties of some types) over randomly generated instances of the type. Also contains Gabriel Scherer's random value generator library, https://github.com/gasche/random-generator

Authors Simon Cruanes <simon.cruanes@inria.fr> and Gabriel Scherer <gabriel.scherer@gmail.com>
Homepage https://github.com/c-cube/qcheck/
Maintainer simon.cruanes@inria.fr
Tags test, property and quickcheck
OCaml >= 4.00.0

Events

Nov 7, 2013

Published version 0.2

  • Gabriel Scherer <gabriel.scherer@gmail.com> gained authorship.

Oct 17, 2013

Published version 0.1.3

Oct 8, 2013

Published version 0.1.2

  • Simon Cruanes <simon.cruanes@inria.fr> gained authorship.

Oct 7, 2013

Published version 0.1.1

Oct 6, 2013

Published version 0.1