alg_structs_qcheckversion
Provides qCheck generators for laws of alg_structs
Combinators for generating qCheck property based tests to check that implementations of the algebraic structures provided by alg_structs adhere to the stated laws.
Author | Shon Feder |
---|---|
License | MIT |
Published | |
Homepage | https://github.com/shonfeder/alg_structs |
Issue Tracker | https://github.com/shonfeder/alg_structs/issues |
Maintainer | shon.feder@gmail.com |
Dependencies |
|
Source [http] | https://github.com/shonfeder/alg_structs/releases/download/0.1.3/alg_structs_qcheck-0.1.3.tbz sha256=6b0113f2500e70fd00862879ba36d64e9e0f1815ad6ffe2325b1e5e8ed561c08 sha512=80e7a34fb04791221df44d876482a562a48b8e84665258be556fefc1cb77c380425bff7b1f52939bffbf69d78d223ff428e936f7a32dccb7901c6f06783cd764 |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/alg_structs_qcheck/alg_structs_qcheck.0.1.3/opam |
No package is dependent