dev-ml / qcheck

QuickCheck inspired property-based testing for OCaml

Official package sites : https://github.com/c-cube/qcheck/ ·

v0.7 :: 0/0.7 :: gentoo

Modified
License
BSD
Keywords
~amd64 ~x86
USE flags
debug doc ocamlopt test

v0.6 :: 0/0.6 :: gentoo

Modified
License
LGPL-2.1
Keywords
~amd64 ~x86
USE flags
debug doc ocamlopt test

General

debug
Enable extra debug codepaths, like asserts and extra output. If you want to get meaningful backtraces see https://wiki.gentoo.org/wiki/Project:Quality_Assurance/Backtraces
doc
Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
ocamlopt
Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale)
test
Enable dependencies and/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)

dev-lang / ocaml : Type-inferring functional programming language descended from the ML family

dev-ml / findlib : OCaml tool to find/use non-standard packages

dev-ml / ocamlbuild : Generic build tool with built-in rules for building OCaml library and programs

dev-ml / ounit : Unit testing framework for OCaml

dev-lang / ocaml : Type-inferring functional programming language descended from the ML family

dev-ml / ounit : Unit testing framework for OCaml

dev-ml / iTeML : Inline (Unit) Tests for OCaml

Alexis Ballier · gentoo
dev-ml/qcheck: bump to 0.7
Package-Manager: Portage-2.3.8, Repoman-2.3.3
Alexis Ballier · gentoo
dev-ml/qcheck: Remove old
Package-Manager: Portage-2.3.8, Repoman-2.3.3
Alexis Ballier · gentoo
dev-ml/qcheck: bump to 0.6
Package-Manager: Portage-2.3.6, Repoman-2.3.2
Robin H. Johnson · gentoo
Drop $Id$ per council decision in bug #611234.
Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>
Alexis Ballier · gentoo
dev-ml/qcheck: bump to 0.5.3.1
Package-Manager: Portage-2.3.3, Repoman-2.3.1
T. Malfatti · gentoo
media-libs/portaudio: Version bump
Alexis Ballier · gentoo
dev-ml/qcheck: bump to 0.5.3
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Alexis Ballier · gentoo
dev-ml/qcheck: remove old
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Alexis Ballier · gentoo
dev-ml/qcheck: set proper subslot
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Alexis Ballier · gentoo
dev-ml/qcheck: bump to 0.5.2
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Alexis Ballier · gentoo
dev-ml/qcheck: bump to 0.5.1
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Alexis Ballier · gentoo
dev-ml/qcheck: readd since it is split again from iTeML.
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Alexis Ballier · gentoo
dev-ml/qcheck: remove, superseded by iteml
Alexis Ballier · gentoo
Merge remote-tracking branch 'github/pr/232'
Matthew Brewer · gentoo
dev-ml/qcheck: new ebuild
- needed as a transitive dependency for Libre S3 1.1 (net-misc/libres3)