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.19.1.tar.gz md5=c100c4912ef0cf863b0191e155aeddb1 sha512=f6af650381d4100ca019082c77f9aceda00b6158356f46a5bcb091ca1f56d41d9c819d3bae7736f1e70b3d1827c5a4af53cc80d94d66025dd52044438207a4c1 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/qcheck-alcotest/qcheck-alcotest.0.19.1/opam |
Required by
- alg_structs_qcheckwith-test
- base32with-test
- bastetwith-test
- cborlwith-test
- eriswith-test
- eris-lwtwith-test
- infernowith-test & >=20220603
- irminwith-test & >=3.4.0
- logtkwith-test & >=1.5.1
- lruwith-test & >=0.3.0
- lt-codewith-test
- ometricswith-test
- ppx_deriving_qcheckwith-test & >=0.2.0
- ppx_pbt>=0.2.1
- pratterwith-test & >=1.2.1
- prbnmcn-dagger-test>=0.0.2
- prefacewith-test
- psqwith-test & >=0.1.1
- tezos-012-Psithaca-test-helpers>=14.0
- tezos-013-PtJakart-test-helpers
- tezos-014-PtKathma-test-helpers
- tezos-alpha-test-helpers>=14.0
- tezos-basewith-test & (>=11.0 & <12.0 | >=13.0)
- tezos-base-test-helpers>=13.0
- tezos-bls12-381-polynomialwith-test
- tezos-client-011-PtHangz2with-test & (<12.0 | >=13.0)
- tezos-client-012-Psithacawith-test & >=13.0
- tezos-client-013-PtJakartwith-test
- tezos-client-014-PtKathmawith-test
- tezos-client-alphawith-test & (>=11.0 & <12.0 | >=13.0)
- tezos-contextwith-test & >=13.0
- tezos-cryptowith-test & (>=11.0 & <12.0 | >=13.0)
- tezos-haclwith-test
- tezos-lwt-result-stdlibwith-test & (>=11.0 & <12.0 | >=13.0)
- tezos-mockupwith-test & (>=11.0 & <12.0 | >=13.0)
- tezos-plonkwith-test & >=0.1.3
- tezos-protocol-environmentwith-test & (>=11.0 & <12.0 | >=13.0)
- tezos-protocol-plugin-012-Psithaca-testswith-test
- tezos-protocol-plugin-013-PtJakart-testswith-test
- tezos-protocol-plugin-alpha-testswith-test
- tezos-proxywith-test & (>=11.0 & <12.0 | >=13.0)
- tezos-proxy-server-configwith-test
- tezos-requesterwith-test & (>=11.0 & <12.0 | >=13.0)
- tezos-rpc-http-serverwith-test & (>=11.0 & <12.0 | >=13.0)
- tezos-shellwith-test & >=11.0 & <12.0
- tezos-shell-services-test-helperswith-test & (<12.0 | >=13.0)
- tezos-stdlibwith-test & (>=11.0 & <12.0 | >=13.0)
- tezos-test-helpers
- tezos-webassembly-interpreterwith-test
- timedescwith-test
- timerewith-test
- yuujinchouwith-test & =2.0.0
