qcheck-alcotestversion
Alcotest backend for QCheck
QCheck is a QuickCheck inspired property-based testing library for OCaml.
The qcheck-alcotest library provides an integration layer for QCheck onto
https://github.com/mirage/alcotest[`alcotest`], allowing to run property-based
tests in alcotest.
| 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.26.tar.gz md5=3eba3b3b47ccfa48afd1ce7dbdd463f7 sha512=6f4749df32629b2a64034f7a8d07079b8d3d628cc402c52bbdbd7e287ca20adf8e8133f91d79e75d8402100715a1138d62904b2d9c1d1595602d5206e0862305 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/qcheck-alcotest/qcheck-alcotest.0.26/opam |
Required by
- alg_structs_qcheckwith-test
- base32with-test
- bastetwith-test
- bls12-381with-test & >=18.0
- cborlwith-test
- docfdwith-test & >=2.2.0
- fungiwith-test
- infernowith-test & >=20220603
- irminwith-test & >=3.5.2
- irmin-testwith-test & >=3.10.0
- lockfreewith-test & >=0.3.1
- logtkwith-test
- lruwith-test & >=0.3.0
- lt-codewith-test
- obatcherwith-test
- octez-bls12-381-polynomialwith-test
- octez-l2-libs
- octez-libs
- octez-plonk
- octez-proto-libswith-test
- octez-protocol-017-PtNairob-libs<20.1
- octez-protocol-018-Proxford-libs
- octez-protocol-019-PtParisB-libs
- octez-protocol-020-PsParisC-libs
- octez-protocol-alpha-libs
- octez-shell-libswith-test
- ometricswith-test
- ppx_deriving_qcheckwith-test
- ppx_pbt>=0.2.1
- pratterwith-test & >=1.2.1
- prbnmcn-dagger-test>=0.0.2
- prefacewith-test & !=1.0.0
- psqwith-test & >=0.1.1
- saturnwith-test
- saturn_lockfreewith-test
- seqeswith-test
- spurswith-test & >=0.1.1
- stramon-libwith-test
- term-indexingwith-test
- term-toolswith-test
- tezos-basewith-test & >=16.0
- tezos-base-test-helpers>=16.0
- tezos-bls12-381-polynomialwith-test
- tezos-client-011-PtHangz2with-test & <17.3
- tezos-client-012-Psithacawith-test & <17.3
- tezos-client-013-PtJakartwith-test & <17.3
- tezos-client-014-PtKathmawith-test & <17.3
- tezos-client-015-PtLimaPtwith-test & <17.3
- tezos-client-016-PtMumbaiwith-test
- tezos-client-017-PtNairobwith-test
- tezos-client-alphawith-test
- tezos-contextwith-test & >=16.0
- tezos-cryptowith-test & >=16.0
- tezos-crypto-dalwith-test
- tezos-haclwith-test
- tezos-layer2-storewith-test
- tezos-lwt-result-stdlibwith-test & >=16.0
- tezos-mockupwith-test
- tezos-plonkwith-test & =0.1.3
- tezos-protocol-environmentwith-test
- tezos-proxywith-test
- tezos-proxy-server-configwith-test
- tezos-requesterwith-test & >=16.0
- tezos-rpc-http-serverwith-test & >=16.0
- tezos-scoru-wasm-helpers<17.3
- tezos-shell-services-test-helperswith-test & >=16.0
- tezos-stdlibwith-test & >=16.0
- tezos-stdlib-unixwith-test & >=17.3
- tezos-test-helpers
- timedescwith-test
- timerewith-test
- yocamlwith-test & >=2.0.0
- yocaml_syndicationwith-test & >=2.0.0
- yuujinchouwith-test & =2.0.0
- zarwith-test
