python312Packages.deal-solver: use pytest-cov-stub and pytest-xdist

{

  lib,

  astroid,

  buildPythonPackage,

  fetchFromGitHub,

  pythonOlder,

  flit-core,

  z3-solver,

  astroid,

  pytestCheckHook,

  hypothesis,

  pytest-cov-stub,

  pytest-xdist,

  pytestCheckHook,

  pythonOlder,

  z3-solver,

}:

buildPythonPackage rec {

  # z3 does not provide a dist-info, so python-runtime-deps-check will fail

  pythonRemoveDeps = [ "z3-solver" ];

  postPatch = ''

    substituteInPlace pyproject.toml \

      --replace "\"--cov=deal_solver\"," "" \

      --replace "\"--cov-report=html\"," "" \

      --replace "\"--cov-report=xml\"," "" \

      --replace "\"--cov-report=term-missing:skip-covered\"," "" \

      --replace "\"--cov-fail-under=100\"," ""

  '';

  dependencies = [

    z3-solver

    astroid

  ] ++ z3-solver.requiredPythonModules;

  nativeCheckInputs = [

    pytestCheckHook

    hypothesis

    pytest-cov-stub

    pytest-xdist

    pytestCheckHook

  ];

  pythonImportsCheck = [ "deal_solver" ];