Binary package “libqcheck-ounit-ocaml-dev” in ubuntu lunar
QCheck integration with OUnit (Development package)
This module provides QCheck integration with OUnit.
.
QCheck allows one to check invariants (properties of some types) over
randomly generated instances of the type. It provides combinators for
generating instances and printing them.
Source package
Published versions
- libqcheck-ounit-ocaml-dev 0.18.1-2build1 in amd64 (Release)
- libqcheck-ounit-ocaml-dev 0.20-1 in amd64 (Proposed)
- libqcheck-ounit-ocaml-dev 0.20-1 in amd64 (Release)
- libqcheck-ounit-ocaml-dev 0.18.1-2build1 in arm64 (Release)
- libqcheck-ounit-ocaml-dev 0.20-1 in arm64 (Proposed)
- libqcheck-ounit-ocaml-dev 0.20-1 in arm64 (Release)
- libqcheck-ounit-ocaml-dev 0.18.1-2build1 in armhf (Release)
- libqcheck-ounit-ocaml-dev 0.20-1 in armhf (Proposed)
- libqcheck-ounit-ocaml-dev 0.20-1 in armhf (Release)
- libqcheck-ounit-ocaml-dev 0.18.1-2build1 in ppc64el (Release)
- libqcheck-ounit-ocaml-dev 0.20-1 in ppc64el (Proposed)
- libqcheck-ounit-ocaml-dev 0.20-1 in ppc64el (Release)
- libqcheck-ounit-ocaml-dev 0.18.1-2build1 in riscv64 (Release)
- libqcheck-ounit-ocaml-dev 0.20-1 in riscv64 (Proposed)
- libqcheck-ounit-ocaml-dev 0.20-1 in riscv64 (Release)
- libqcheck-ounit-ocaml-dev 0.18.1-2build1 in s390x (Release)
- libqcheck-ounit-ocaml-dev 0.20-1 in s390x (Proposed)
- libqcheck-ounit-ocaml-dev 0.20-1 in s390x (Release)