summary refs log tree commit diff
path: root/pkgs/applications/science/logic
diff options
context:
space:
mode:
authorThiago Kenji Okada <thiagokokada@gmail.com>2022-05-12 10:01:16 +0100
committerGitHub <noreply@github.com>2022-05-12 10:01:16 +0100
commit1919e181fb00d7620b586206efe938bd3fd1e67c (patch)
treebdb51edc01eee595b4b91e146da21c1b08a86dbe /pkgs/applications/science/logic
parentcbebdfc3da91c5eb9e401231f61ad2d845c47600 (diff)
parent17be6f75ce6cb42d7d4514c62f7e5907e5776e34 (diff)
downloadnixpkgs-1919e181fb00d7620b586206efe938bd3fd1e67c.tar
nixpkgs-1919e181fb00d7620b586206efe938bd3fd1e67c.tar.gz
nixpkgs-1919e181fb00d7620b586206efe938bd3fd1e67c.tar.bz2
nixpkgs-1919e181fb00d7620b586206efe938bd3fd1e67c.tar.lz
nixpkgs-1919e181fb00d7620b586206efe938bd3fd1e67c.tar.xz
nixpkgs-1919e181fb00d7620b586206efe938bd3fd1e67c.tar.zst
nixpkgs-1919e181fb00d7620b586206efe938bd3fd1e67c.zip
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.nix9
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 1356c88d478..e49c80db9d6 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