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.17.tar.gz md5=605165edc328ae144341a2d73c7fc5fc sha512=647c1beefba8fce32daac91bd42976ddf2926cff2e78e43ac3afb6e59ec660f0f6e684f5954d6b1fab6d11328690b236e40c30980a22a999c4b826ae2a0dcaea |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/qcheck-core/qcheck-core.0.17/opam |
Required by
- containerswith-test & >=3.9
- containers-datawith-test & >=3.9
- containers-threadwith-test & >=3.9
- goblint>=1.1.1
- logtkwith-test & >=1.5.1
- lruwith-test & >=0.3.0
- osnap>=0.3.0
- prefacewith-test
- psqwith-test & >=0.1.1
- qcheck>=0.9 & <0.11 | =0.17
- qcheck-alcotest=0.17
- qcheck-ounit=0.17
- tezos-shell-services-test-helpers<12.0 | >=13.0
- tezos-webassembly-interpreterwith-test
