package qcheck
QuickCheck inspired property-based testing for OCaml
Install
Dune Dependency
Authors
Maintainers
Sources
0.5.tar.gz
sha256=930d035981b91617c7f7104228c51741d2b9116094d47ea2a8260091fd80bb3f
md5=9798f3d99409b900cb4fb87520cd03bc
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)
- ounit
- base-unix
- base-bytes
-
ocamlbuild
build
-
ocamlfind
build
-
ocaml
>= "4.00.0" & < "4.06.0"
Dev Dependencies
None
Used by (34)
- base32
- bt
- cborl
- clp_operations
-
containers
>= "2.8" & < "3.0"
-
containers-data
= "3.8"
-
containers-thread
= "3.8"
-
docfd
>= "2.2.0"
-
dolmen
>= "0.7" & < "0.8.1"
- eris
- eris-lwt
-
gen
>= "0.5.1" & < "0.5.3"
-
inferno
>= "20220603"
-
iter
< "1.2.1"
- lbvs_consent
- lt-code
- lua_pattern
-
lwd
< "0.3"
-
nunchaku
>= "0.5.1"
-
oasis2opam
= "0.6.0"
-
oseq
>= "0.3" & < "0.4.1" | >= "0.5.1"
-
ppx_regexp
>= "0.4.0"
- ppx_tyre
-
pratter
= "1.2.1" | >= "3.0.0"
- prbnmcn-cgrph
-
qtest
>= "2.5" & < "2.11.1"
-
regenerate
< "0.2"
-
sequence
>= "1.0"
-
serde
>= "0.0.2"
-
stdint
>= "0.7.1"
- stramon-lib
- timedesc
- timere
-
zar
>= "0.9.3"
Conflicts (2)
- qcheck-core
-
ounit
< "2.0"
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page