package qcheck-ounit

  1. Overview
  2. Docs
OUnit backend for qcheck

Install

Authors

Maintainers

Sources

0.13.tar.gz
md5=134c6b4ffc90076eef3041dbc01181f1
sha512=eab2f5a4ef79d061c2c708ea481b735f106752b1c7797b61d5d3c11e5003e57c103b0e3260e2797521d4faa6f4d9d6ce343b499d032fd65fd1bba4a94ab996eb

Description

Tags

qcheck quickcheck ounit

Published: 24 Jan 2020

Dependencies (6)

  1. ocaml >= "4.03.0"
  2. ounit >= "2.0"
  3. qcheck-core = version
  4. base-unix
  5. base-bytes
  6. dune

Dev Dependencies (1)

  1. odoc with-doc

Used by (4)

  1. goblint >= "2.0.0"
  2. oseq < "0.4"
  3. ppx_viewpattern
  4. qcheck >= "0.9" & < "0.11" | = "0.13"

Conflicts

None