1{
2 lib,
3 buildDunePackage,
4 qcheck-core,
5 reason,
6 console,
7 rely,
8 src,
9}:
10
11buildDunePackage {
12 inherit src;
13
14 pname = "qcheck-rely";
15 version = "1.0.2-unstable-2024-05-07";
16
17 nativeBuildInputs = [
18 reason
19 ];
20
21 propagatedBuildInputs = [
22 qcheck-core
23 console
24 rely
25 ];
26
27 meta = {
28 description = "Library containing custom Rely matchers allowing for easily using QCheck with Rely. QCheck is a 'QuickCheck inspired property-based testing for OCaml, and combinators to generate random values to run tests on'";
29 downloadPage = "https://github.com/reasonml/reason-native/tree/master/src/qcheck-rely";
30 license = lib.licenses.mit;
31 maintainers = [ ];
32 };
33}