diff options
Diffstat (limited to 'pkgs/development/python-modules/deal-solver/default.nix')
| -rw-r--r-- | pkgs/development/python-modules/deal-solver/default.nix | 6 |
1 files changed, 6 insertions, 0 deletions
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"; |