2
0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-02-15 08:34:04 +00:00
nixpkgs/pkgs/development/ocaml-modules/qcheck/stm.nix

Ignoring revisions in .git-blame-ignore-revs. Click here to bypass and see the normal blame view.

18 lines
377 B
Nix
Raw Normal View History

2023-08-21 05:33:44 +00:00
{ 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";
};
}