package qcheck-ounit

  1. Overview
  2. No Docs
OUnit backend for QCheck

Install

dune-project
 Dependency

Authors

Maintainers

Sources

v0.91.tar.gz
md5=ac45753406af93cb77a3c173741e0fe8
sha512=3baa8c04a43db0497891394208c8a6184d603e4fe0ad9d15fddf666e7a628597210874ca85c96022b69c11a99fdd43bbbf0e6211e34ed7d1dea7b1c95bd54316

Description

QCheck is a QuickCheck inspired property-based testing library for OCaml.

The qcheck-ounit library provides an integration layer for QCheck onto https://github.com/gildor478/ounit[OUnit], allowing to run property-based tests in OUnit.

Tags

qcheck quickcheck ounit

Published: 28 Dec 2025

Dependencies (5)

  1. ocaml >= "4.08.0"
  2. ounit2
  3. qcheck-core = version
  4. base-unix
  5. dune >= "2.8.0"

Dev Dependencies (1)

  1. odoc with-doc

Used by (4)

  1. goblint >= "2.0.0"
  2. oseq = "0.3"
  3. ppx_viewpattern
  4. qcheck >= "0.91"

Conflicts

None