package prbnmcn-proptest

You can search for identifiers within the package.

in-package search v0.2.0

Property-based test helpers for prbnmcn packages

Install

Dune Dependency

github.com Readme Changelog MIT License Edit opam file Versions (1)

Authors

I

Ilias Garnier

Maintainers

I

igarnier@protonmail.com

Sources

0.0.1.tar.gz

md5=4160cc9b984a44befbff68077db66fb7

sha512=7dfe58a4bf3d275ac46f3cb414f298a635886dae76427ecbfc944675e971b73fda9f89dec42342b263d386d3008b1ad4d4b339b720008c7c3bb5b71ea6a898ae

README.md.html

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.