diff options
author | Thiago Kenji Okada <thiagokokada@gmail.com> | 2022-05-12 10:01:16 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-05-12 10:01:16 +0100 |
commit | 1919e181fb00d7620b586206efe938bd3fd1e67c (patch) | |
tree | bdb51edc01eee595b4b91e146da21c1b08a86dbe /pkgs/applications/science/logic | |
parent | cbebdfc3da91c5eb9e401231f61ad2d845c47600 (diff) | |
parent | 17be6f75ce6cb42d7d4514c62f7e5907e5776e34 (diff) |
Merge pull request #172641 from WolfangAukang/monosat-fix
python3Packages.monosat: disable failing tests
Diffstat (limited to 'pkgs/applications/science/logic')
-rw-r--r-- | pkgs/applications/science/logic/monosat/default.nix | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/monosat/default.nix b/pkgs/applications/science/logic/monosat/default.nix index 1356c88d478fc..e49c80db9d6e6 100644 --- a/pkgs/applications/science/logic/monosat/default.nix +++ b/pkgs/applications/science/logic/monosat/default.nix @@ -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 |