QuickCheck inspired property-based testing for OCaml
QuickCheck inspired property-based testing for OCaml. This module checks invariants (properties of some types) over randomly generated instances of the type. It provides combinators for generating instances and printing them.
System | Target | Derivation | Build status |
---|---|---|---|
x86_64-linux | /gnu/store/mjb1yydxz4c18mqm9nip1h3di51ns7q7-ocaml4.07-qcheck-0.12.drv |
Linter | Message | Location |
---|---|---|
input-labels Identify input labels that do not match package names | label 'ocamlbuild' does not match package name 'ocaml4.07-ocamlbuild' | |
input-labels Identify input labels that do not match package names | label 'ocaml-alcotest' does not match package name 'ocaml4.07-alcotest' | |
input-labels Identify input labels that do not match package names | label 'ocaml-ounit' does not match package name 'ocaml4.07-ounit' | |
description Validate package descriptions | sentences in description should be followed by two spaces; possible infractions at 52, 156 |