Sisyphus repository
Last update: 1 october 2023 | SRPMs: 18631 | Visits: 37402549
en ru br
ALT Linux repos
S:0.18.1-alt1

Group :: Development/ML
RPM: ocaml-qcheck

 Main   Changelog   Spec   Patches   Sources   Download   Gear   Bugs and FR  Repocop 

Current version: 0.18.1-alt1
Build date: 21 february 2022, 08:41 ( 112.6 weeks ago )
Size: 78.24 Kb

Home page:   https://github.com/c-cube/qcheck/

License: BSD
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.

Current maintainer: Anton Farygin

List of contributors

List of rpms provided by this srpm:

  • ocaml-qcheck
  • ocaml-qcheck-debuginfo
  • ocaml-qcheck-devel
  • ocaml-qcheck-devel-debuginfo
ACL:
     
    design & coding: Vladimir Lettiev aka crux © 2004-2005, Andrew Avramenko aka liks © 2007-2008
    current maintainer: Michael Shigorin