package qcheck
QuickCheck inspired property-based testing for OCaml
Install
Dune Dependency
Authors
Maintainers
Sources
0.7.tar.gz
sha256=136d9134e2274f7eaf8021bc205a6008dcaa07612725db1ea8da98505d0e55c4
md5=ca3c7d24200a8ca7e4390f1145eae3a9
Description
This module allows to check invariants (properties of some types) over randomly generated instances of the type. It provides combinators for generating instances and printing them.
Dependencies (6)
-
ocamlbuild
build - ounit
- base-unix
- base-bytes
- ocamlfind
-
ocaml
>= "4.00.0" & < "5.0.0"
Dev Dependencies
None
Used by (37)
- base32
-
batteries
< "3.4.0" -
bencode
>= "2.0" - binsec
- cborl
- clp_operations
-
containers
< "3.0" -
containers-data
= "3.8" -
containers-thread
= "3.8" -
docfd
>= "2.2.0" -
dolmen
>= "0.7" & < "0.8.1" - ezgzip
-
gen
>= "0.5.1" & < "0.5.3" -
inferno
>= "20220603" -
js_of_ocaml-compiler
>= "5.9.0" - lbvs_consent
- lt-code
- lua_pattern
-
lwd
!= "0.3" - obatcher
-
oseq
>= "0.3" & < "0.4.1" | >= "0.5.1" -
ppx_regexp
>= "0.4.0" - ppx_tyre
-
pratter
= "1.2.1" - prbnmcn-cgrph
-
qtest
< "2.11.1" -
serde
>= "0.0.2" -
spelll
= "0.3" -
spurs
>= "0.1.1" -
stdint
>= "0.7.1" - stramon-lib
-
syslog-message
>= "1.0.0" - timedesc
- timere
-
yocaml
>= "2.0.0" -
yocaml_syndication
>= "2.0.0" -
zar
>= "0.9.3"
Conflicts (2)
- qcheck-core
-
ounit
< "2.0"
On This Page