package qcheck-ounit

  1. Overview
  2. No Docs
OUnit backend for QCheck

Install 

dune-project
 Dependency

github.com Edit opam file Versions (6)

Authors

  1. T
    the qcheck contributors

Maintainers

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

Sources

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

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: 20 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.90"

Conflicts

None