package prbnmcn-proptest

  1. Overview
  2. Docs
Property-based test helpers for prbnmcn packages

Install

Dune Dependency

Authors

Maintainers

Sources

0.0.1.tar.gz
md5=4160cc9b984a44befbff68077db66fb7
sha512=7dfe58a4bf3d275ac46f3cb414f298a635886dae76427ecbfc944675e971b73fda9f89dec42342b263d386d3008b1ad4d4b339b720008c7c3bb5b71ea6a898ae

Description

Published: 23 Aug 2021

README

prbnmcn-proptest

Property-based testing for some structures defined in the prbnmcn-basic-structures package. This package is meant to help testing other prbnmcn-* packages.

Dependencies (5)

  1. zarith >= "1.12"
  2. crowbar >= "0.2"
  3. prbnmcn-basic-structures = "0.0.1"
  4. ocaml >= "4.12.0"
  5. dune >= "2.8"

Dev Dependencies (1)

  1. odoc with-doc

Used by (1)

  1. prbnmcn-linalg

Conflicts

None