nixpkgs/pkgs/development/ocaml-modules/qcheck/stm.nix
2023-08-21 07:51:24 +02:00

18 lines
377 B
Nix

{ 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";
};
}