package qcheck
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Compatibility package for QCheck
Install
Dune Dependency
Authors
Maintainers
Sources
v0.26.tar.gz
md5=3eba3b3b47ccfa48afd1ce7dbdd463f7
sha512=6f4749df32629b2a64034f7a8d07079b8d3d628cc402c52bbdbd7e287ca20adf8e8133f91d79e75d8402100715a1138d62904b2d9c1d1595602d5206e0862305
Description
QCheck is a QuickCheck inspired property-based testing library for OCaml.
The qcheck library provides a compatibility API with older versions of QCheck,
and depends upon both qcheck-core and qcheck-ounit.
For fewer dependencies and new developments qcheck-core is recommended.
Dependencies (5)
-
ocaml
>= "4.08.0" -
qcheck-ounit
= version -
qcheck-core
= version - base-unix
-
dune
>= "2.8.0"
Used by (60)
- archsat
- base32
- bastet
-
batteries
< "3.0.0" -
bencode
>= "2.0" - binsec
- bytestring
- cborl
- clp_operations
-
containers
>= "3.0" & < "3.9" -
containers-data
< "3.9" -
containers-thread
< "3.9" - cps_toolbox
- dates_calc
-
docfd
>= "2.2.0" -
dolmen
>= "0.7" - ezgzip
-
gen
>= "0.5.3" -
inferno
>= "20220603" -
iter
< "1.6" -
js_of_ocaml-compiler
>= "5.9.0" -
lbvs_consent
>= "2.0.0" -
lockfree
>= "0.3.1" - lt-code
- lua_pattern
- lwd
- obatcher
-
oseq
>= "0.3" -
osnap
< "0.3.0" - ppx_pbt
-
ppx_regexp
>= "0.4.0" - ppx_tyre
-
pratter
>= "1.2.1" - prbnmcn-cgrph
- prbnmcn-dagger-test
- qcstm
-
qtest
!= "2.11" - regenerate
- saturn
- saturn_lockfree
- seqes
-
serde
>= "0.0.2" -
spelll
>= "0.3" -
spurs
>= "0.1.1" -
sqlite3_utils
>= "0.3.1" -
stdint
>= "0.7.1" - stramon-lib
-
syslog-message
>= "1.0.0" - term-indexing
- term-tools
- timedesc
- timere
-
tiny_httpd
>= "0.7" & < "0.13" - trail
- typeset
- um-abt
-
yocaml
>= "2.0.0" -
yocaml_syndication
>= "2.0.0" -
yuujinchou
= "2.0.0" - zar
Conflicts (1)
-
ounit
< "2.0"