qcheck-coreversion
Core qcheck library
Tags | test property quickcheck |
---|---|
Author | the qcheck contributors |
License | BSD-2-Clause |
Published | |
Homepage | https://github.com/c-cube/qcheck/ |
Issue Tracker | https://github.com/c-cube/qcheck/issues |
Maintainer | simon.cruanes.2007@m4x.org |
Dependencies | |
Conflicts |
|
Source [http] | https://github.com/c-cube/qcheck/archive/v0.18.1.tar.gz md5=e207362d67387d6dbb8dcd4ba7238b39 sha512=6fd5fd4348ed6a48a8f64a466fedd07374eaf23d516b3c250ebad2a32ddbca3ae4ad9c84fe1112858075df46c119cd6550205a4228a553b014d135581f024ded |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/qcheck-core/qcheck-core.0.18.1/opam |
Required by
- algaeffwith-test
- bwdwith-test & >=1.2.0
- colibri2
- goblint>=1.1.1
- logtkwith-test & >=1.5.1
- lruwith-test & >=0.3.0
- osnap>=0.3.0
- prefacewith-test & >=1.0.0
- psqwith-test & >=0.1.1
- qcheck>=0.9 & <0.11 | >=0.18.1
- qcheck-alcotest>=0.18.1
- qcheck-ounit>=0.18.1
- tezos-shell-services-test-helpers<12.0 | >=13.0
- yuujinchouwith-test & >=3.0.0