nixpkgs/pkgs/development/ocaml-modules/qcheck/stm.nix


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

{ buildDunePackage
, qcheck-multicoretests-util
}:

buildDunePackage {
  pname = "qcheck-stm";

  inherit (qcheck-multicoretests-util) src version;

  propagatedBuildInputs = [ qcheck-multicoretests-util ];

  doCheck = true;

  meta = qcheck-multicoretests-util.meta // {
    description = "State-machine testing library for sequential and parallel model-based tests";
  };
}