qcheck-coreversion
Core qcheck library
Tags | test property quickcheck |
---|---|
Author | Simon Cruanes <simon.cruanes.2007@m4x.org> |
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/0.14.tar.gz md5=a2404f28cba107b4c2263dcc2e67b3ac |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/qcheck-core/qcheck-core.0.14/opam |
Required by
- goblint>=1.1.1
- logtkwith-test & >=1.5.1
- lruwith-test & >=0.3.0
- prefacewith-test
- psqwith-test & >=0.1.1
- qcheck>=0.9 & <0.11 | =0.14
- qcheck-alcotest<0.11 | =0.14
- qcheck-ounit<0.11 | =0.14
- tezos-shell-services-test-helpers<12.0 | >=13.0