alg_structs_qcheck
Provides qCheck generators for laws of alg_structs
Description
Combinators for generating qCheck property based tests to check that implementations of the algebraic structures provided by alg_structs adhere to the stated laws.
Install
- Published
-
29 Oct 2019
- Authors
-
- Maintainers
-
Sources
alg_structs_qcheck-0.1.3.tbz
sha256=6b0113f2500e70fd00862879ba36d64e9e0f1815ad6ffe2325b1e5e8ed561c08
sha512=80e7a34fb04791221df44d876482a562a48b8e84665258be556fefc1cb77c380425bff7b1f52939bffbf69d78d223ff428e936f7a32dccb7901c6f06783cd764
Dependencies
qcheck-alcotest
with-test & >= "0.11"
alcotest
with-test & >= "0.8.5"
qcheck
>= "0.11" & < "0.18"
alg_structs
>= "0.1.3" & < "0.2.0"
ocaml
>= "4.08.0"
dune
>= "1.11.3"
Reverse Dependencies