package alg_structs_qcheck
Provides qCheck generators for laws of alg_structs
Install
Dune Dependency
Authors
Maintainers
Sources
alg_structs_qcheck-0.1.3.tbz
sha256=6b0113f2500e70fd00862879ba36d64e9e0f1815ad6ffe2325b1e5e8ed561c08
sha512=80e7a34fb04791221df44d876482a562a48b8e84665258be556fefc1cb77c380425bff7b1f52939bffbf69d78d223ff428e936f7a32dccb7901c6f06783cd764
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.
Published: 29 Oct 2019
README
README.org_archive
# -*- mode: org -*- Archived entries from file /home/sf/Sync/oss/alg/README.org * DONE Set up CI :PROPERTIES: :ARCHIVE_TIME: 2019-10-24 Thu 16:54 :ARCHIVE_FILE: ~/Sync/oss/alg/README.org :ARCHIVE_OLPATH: Tasks :ARCHIVE_CATEGORY: README :ARCHIVE_TODO: DONE :END: Archived entries from file /home/sf/Sync/oss/alg/README.org * DONE Set docs to build into github page :PROPERTIES: :ARCHIVE_TIME: 2019-10-24 Thu 16:54 :ARCHIVE_FILE: ~/Sync/oss/alg/README.org :ARCHIVE_OLPATH: Tasks :ARCHIVE_CATEGORY: README :ARCHIVE_TODO: DONE :END:
Dependencies (4)
-
qcheck
>= "0.11" & < "0.18" -
alg_structs
>= "0.1.3" & < "0.2.0" -
ocaml
>= "4.08.0" -
dune
>= "1.11.3"
Dev Dependencies (2)
-
qcheck-alcotest
with-test & >= "0.11" -
alcotest
with-test & >= "0.8.5"
Used by
None
Conflicts
None
On This Page