qcheck-alcotestversion
Alcotest backend for qcheck
Tags | test quickcheck qcheck alcotest |
---|---|
Author | Simon Cruanes <simon.cruanes.2007@m4x.org> |
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/0.15.tar.gz md5=1afd9ea21b86a726f337ea26920ce918 sha512=83bde44aa688a590450ca803c1704fda04ab33135ecbc16cbd41758728e65cc4629fa859d4e7e14953ca3ab0c709555b165c05770aafb8711e4101b1a9f211e1 |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/qcheck-alcotest/qcheck-alcotest.0.15/opam |
Required by
- alg_structs_qcheckwith-test
- base32with-test
- bastetwith-test
- cborlwith-test
- docfdwith-test & >=2.2.0
- 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
- obatcherwith-test
- pratterwith-test & >=1.2.1
- prefacewith-test
- psqwith-test & >=0.1.1
- seqeswith-test
- stramon-libwith-test
- tezos-basewith-test & >=11.0 & <12.0
- tezos-bls12-381-polynomialwith-test
- tezos-client-011-PtHangz2with-test & <12.0
- tezos-client-alphawith-test & >=11.0 & <12.0
- tezos-cryptowith-test & >=11.0 & <12.0
- tezos-lwt-result-stdlibwith-test & >=11.0 & <12.0
- tezos-mockupwith-test & >=11.0 & <12.0
- tezos-plonkwith-test & =0.1.3
- tezos-protocol-environmentwith-test & >=11.0 & <12.0
- tezos-proxywith-test & >=11.0 & <12.0
- tezos-requesterwith-test & >=11.0 & <12.0
- tezos-rpc-http-serverwith-test & >=11.0 & <12.0
- tezos-shellwith-test & >=11.0 & <12.0
- tezos-shell-services-test-helperswith-test & <12.0
- tezos-stdlibwith-test & >=11.0 & <12.0
- tezos-test-helpers<12.0
- timedescwith-test
- timerewith-test
- yocamlwith-test & >=2.0.0
- yocaml_syndicationwith-test & >=2.0.0
- zarwith-test