python3Packages.monosat: disable failing tests

This commit is contained in:
P. R. d. O 2022-05-11 18:29:58 -06:00
parent 143aa3e88c
commit 17be6f75ce
No known key found for this signature in database
GPG key ID: 7B0FF33FF90110C7
2 changed files with 9 additions and 2 deletions

View file

@ -65,7 +65,7 @@ let
};
};
python = { buildPythonPackage, cython }: buildPythonPackage {
python = { buildPythonPackage, cython, pytestCheckHook }: buildPythonPackage {
inherit pname version src patches;
propagatedBuildInputs = [ core cython ];
@ -85,5 +85,12 @@ let
substituteInPlace setup.py \
--replace 'library_dir = "../../../../"' 'library_dir = "${core}/lib/"'
'';
checkInputs = [ pytestCheckHook ];
disabledTests = [
"test_assertAtMostOne"
"test_assertEqual"
];
};
in core

View file

@ -5366,7 +5366,7 @@ in {
monosat = pkgs.monosat.python {
inherit buildPythonPackage;
inherit (self) cython;
inherit (self) cython pytestCheckHook;
};
monotonic = callPackage ../development/python-modules/monotonic { };