Name: | ocaml-qcheck |
---|---|
Version: | 0.10 |
Release: | 4.el8 |
Architecture: | aarch64 |
Group: | Unspecified |
Size: | 2734496 |
License: | BSD |
RPM: | ocaml-qcheck-0.10-4.el8.aarch64.rpm |
Source RPM: | ocaml-qcheck-0.10-4.el8.src.rpm |
Build Date: | Thu Mar 19 2020 |
Build Host: | ca-arm-builder-01.us.oracle.com |
Vendor: | Oracle America |
URL: | https://github.com/c-cube/qcheck |
Summary: | QuickCheck inspired property-based testing for OCaml |
Description: | This module allows to check invariants (properties of some types) over randomly generated instances of the type. It provides combinators for generating instances and printing them. |