From b0ad9fab605a0c8a965c745a2ec3e02a9a4957ee Mon Sep 17 00:00:00 2001
From: Thiago Kenji Okada <thiagokokada@gmail.com>
Date: Sat, 19 Apr 2025 12:18:32 +0100
Subject: [PATCH] python3Packages.deal-solver: disable flaky test

---
 pkgs/development/python-modules/deal-solver/default.nix | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/pkgs/development/python-modules/deal-solver/default.nix b/pkgs/development/python-modules/deal-solver/default.nix
index 2946db32d5af..9aff8a2c598c 100644
--- a/pkgs/development/python-modules/deal-solver/default.nix
+++ b/pkgs/development/python-modules/deal-solver/default.nix
@@ -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";