qcheck-alcotestversion
Alcotest backend for qcheck
| Tags | test quickcheck qcheck alcotest |
|---|---|
| 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 |
|
| 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-alcotest/qcheck-alcotest.0.18.1/opam |
Required by
- alg_structs_qcheckwith-test
- base32with-test
- bastetwith-test
- cborlwith-test
- docfdwith-test & >=2.2.0
- infernowith-test & >=20220603
- irminwith-test & >=3.4.0
- lockfreewith-test & >=0.3.1
- logtkwith-test
- lruwith-test & >=0.3.0
- lt-codewith-test
- obatcherwith-test
- ometricswith-test
- ppx_deriving_qcheckwith-test & >=0.2.0 & <0.6
- ppx_pbt>=0.2.1
- pratterwith-test & >=1.2.1
- prbnmcn-dagger-test>=0.0.2
- prefacewith-test
- psqwith-test & >=0.1.1
- saturnwith-test & <0.5.0
- saturn_lockfreewith-test & <0.5.0
- seqeswith-test
- stramon-libwith-test
- tezos-bls12-381-polynomialwith-test
- tezos-plonkwith-test & =0.1.3
- tezos-test-helpers<16.0
- timedescwith-test
- timerewith-test
- yocamlwith-test & >=2.0.0
- yocaml_syndicationwith-test & >=2.0.0
- yuujinchouwith-test & =2.0.0
- zarwith-test
