package qcheck-alcotest
On This Page
Alcotest backend for QCheck
Install
dune-project
Dependency
Authors
Maintainers
Sources
v0.91.tar.gz
md5=ac45753406af93cb77a3c173741e0fe8
sha512=3baa8c04a43db0497891394208c8a6184d603e4fe0ad9d15fddf666e7a628597210874ca85c96022b69c11a99fdd43bbbf0e6211e34ed7d1dea7b1c95bd54316
Description
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.
Dependencies (5)
-
ocaml
>= "4.08.0" -
alcotest
>= "1.2.0" -
qcheck-core
= version - base-unix
-
dune
>= "2.8.0"
Dev Dependencies (1)
-
odoc
with-doc
Used by (37)
- alg_structs_qcheck
- avro-simple
- base32
- bastet
-
bls12-381
>= "18.0" - cborl
- fungi
-
inferno
>= "20220603" -
irmin
>= "3.5.2" -
irmin-test
>= "3.10.0" -
lockfree
>= "0.3.1" - logtk
-
lru
>= "0.3.0" - lt-code
- mel-bastet
- obatcher
-
oktree
>= "0.2.4" - ometrics
- ppx_deriving_qcheck
-
ppx_pbt
>= "0.2.1" -
pratter
>= "1.2.1" -
prbnmcn-dagger-test
>= "0.0.2" -
preface
!= "1.0.0" -
psq
>= "0.1.1" - saturn
- saturn_lockfree
- seqes
- shakuhachi
- stramon-lib
- term-indexing
- term-tools
- timedesc
- timere
-
yocaml
>= "2.0.0" -
yocaml_syndication
>= "2.0.0" -
yuujinchou
= "2.0.0" - zar
Conflicts
None
On This Page