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.19.1.tar.gz md5=c100c4912ef0cf863b0191e155aeddb1 sha512=f6af650381d4100ca019082c77f9aceda00b6158356f46a5bcb091ca1f56d41d9c819d3bae7736f1e70b3d1827c5a4af53cc80d94d66025dd52044438207a4c1 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/qcheck-core/qcheck-core.0.19.1/opam |
Required by
- algaeffwith-test
- bwdwith-test & >=1.2.0
- colibri2
- 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 & >=1.0.0
- psqwith-test & >=0.1.1
- qcheck>=0.9 & <0.11 | >=0.19.1
- qcheck-alcotest>=0.19.1
- qcheck-ounit>=0.19.1
- tezos-shell-services-test-helpers<12.0 | >=13.0
- tezos-webassembly-interpreterwith-test
- yuujinchouwith-test & >=3.0.0
