tangled
alpha
login
or
join now
pyrox.dev
/
nixpkgs
lol
0
fork
atom
overview
issues
pulls
pipelines
ocamlPackages.qcheck-stm: init at 0.2
Vincent Laporte
2 years ago
6698fd45
991356c8
+19
2 changed files
expand all
collapse all
unified
split
pkgs
development
ocaml-modules
qcheck
stm.nix
top-level
ocaml-packages.nix
+17
pkgs/development/ocaml-modules/qcheck/stm.nix
···
1
1
+
{ buildDunePackage
2
2
+
, qcheck-multicoretests-util
3
3
+
}:
4
4
+
5
5
+
buildDunePackage {
6
6
+
pname = "qcheck-stm";
7
7
+
8
8
+
inherit (qcheck-multicoretests-util) src version;
9
9
+
10
10
+
propagatedBuildInputs = [ qcheck-multicoretests-util ];
11
11
+
12
12
+
doCheck = true;
13
13
+
14
14
+
meta = qcheck-multicoretests-util.meta // {
15
15
+
description = "State-machine testing library for sequential and parallel model-based tests";
16
16
+
};
17
17
+
}
+2
pkgs/top-level/ocaml-packages.nix
···
1470
1470
1471
1471
qcheck-ounit = callPackage ../development/ocaml-modules/qcheck/ounit.nix { };
1472
1472
1473
1473
+
qcheck-stm = callPackage ../development/ocaml-modules/qcheck/stm.nix { };
1474
1474
+
1473
1475
qtest = callPackage ../development/ocaml-modules/qtest { };
1474
1476
1475
1477
### R ###