tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 buildDunePackage,
3 qcheck-multicoretests-util,
4}:
5
6buildDunePackage {
7 pname = "qcheck-stm";
8
9 inherit (qcheck-multicoretests-util) src version;
10
11 propagatedBuildInputs = [ qcheck-multicoretests-util ];
12
13 doCheck = true;
14
15 meta = qcheck-multicoretests-util.meta // {
16 description = "State-machine testing library for sequential and parallel model-based tests";
17 };
18}