avoid FailedHealthCheck in test_double (#4879)

Co-authored-by: Ariel Ben-Yehuda <arielby@amazon.com>
PyO3 · Feb 2, 2025 · 2834db6 · 2834db6
1 parent f89b5f7
commit 2834db6
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 2 deletions.
diff --git a/newsfragments/4879.fixed.md b/newsfragments/4879.fixed.md
@@ -0,0 +1 @@
+ * fixed spurious `test_double` failures.
diff --git a/pytests/tests/test_othermod.py b/pytests/tests/test_othermod.py
@@ -3,11 +3,16 @@
 
 from pyo3_pytests import othermod
 
-INTEGER32_ST = st.integers(min_value=(-(2**31)), max_value=(2**31 - 1))
+INTEGER31_ST = st.integers(min_value=(-(2**30)), max_value=(2**30 - 1))
 USIZE_ST = st.integers(min_value=othermod.USIZE_MIN, max_value=othermod.USIZE_MAX)
 
 
-@given(x=INTEGER32_ST)
+# If the full 32 bits are used here, then you can get failures that look like this:
+# hypothesis.errors.FailedHealthCheck: It looks like your strategy is filtering out a lot of data.
+# Health check found 50 filtered examples but only 7 good ones.
+#
+# Limit the range to 31 bits to avoid this problem.
+@given(x=INTEGER31_ST)
 def test_double(x):
     expected = x * 2
     assume(-(2**31) <= expected <= (2**31 - 1))