python3Packages.deal-solver: disable flaky test

2025-04-19 12:39:16 +01:00
parent 6ec96df491
commit b0ad9fab60
1 changed files with 6 additions and 0 deletions
@@ -45,6 +45,12 @@ buildPythonPackage rec {

  pythonImportsCheck = [ "deal_solver" ];

+  disabledTests = [
+    # Flaky tests, sometimes it works sometimes it doesn't
+    "test_expr_asserts_ok"
+    "test_fuzz_math_floats"
+  ];
+
  meta = with lib; {
    description = "Z3-powered solver (theorem prover) for deal";
    homepage = "https://github.com/life4/deal-solver";