Add hypothesis profile for continuous integration (CI) testing

cleder · May 1, 2024 · 9c2063c · 9c2063c
1 parent 17e1d72
commit 9c2063c
Show file tree

Hide file tree

Showing 3 changed files with 23 additions and 6 deletions.
diff --git a/.github/workflows/run-all-tests.yml b/.github/workflows/run-all-tests.yml
@@ -44,7 +44,7 @@ jobs:
           python -m pip install -e ".[tests]"
       - name: Test with pytest including hypothesis tests
         run: >-
-          pytest tests
+          pytest tests --hypothesis-profile=ci
 
   test-coverage:
     runs-on: ubuntu-latest

diff --git a/tests/conftest.py b/tests/conftest.py
@@ -8,9 +8,14 @@
 from hypothesis import HealthCheck
 from hypothesis import settings
 
-settings.register_profile("exhaustive", max_examples=10_000)
+settings.register_profile(
+    "exhaustive",
+    max_examples=10_000,
+    suppress_health_check=[HealthCheck.too_slow],
+)
 settings.register_profile(
     "coverage",
     max_examples=10,
     suppress_health_check=[HealthCheck.too_slow],
 )
+settings.register_profile("ci", suppress_health_check=[HealthCheck.too_slow])
diff --git a/tests/hypothesis/test_functions.py b/tests/hypothesis/test_functions.py
@@ -18,7 +18,9 @@
     coords=st.one_of(
         st.lists(
             st.tuples(
-                st.floats(allow_subnormal=False),
+                st.floats(
+                    allow_subnormal=False,
+                ),
                 st.floats(allow_subnormal=False),
             ),
         ),
@@ -41,7 +43,7 @@ def test_fuzz_centroid(
     if area == 0 or math.isnan(area):
         assert math.isnan(center[0])
         assert math.isnan(center[1])
-    else:
+    else:  # pragma: no cover
         assert isinstance(center[0], float)
         assert isinstance(center[1], float)
         assert len(center) == 2
@@ -196,8 +198,18 @@ def test_fuzz_compare_geo_interface(
 @given(
     points=st.lists(
         st.tuples(
-            st.floats(allow_nan=False, allow_infinity=False, allow_subnormal=False),
-            st.floats(allow_nan=False, allow_infinity=False, allow_subnormal=False),
+            st.floats(
+                allow_nan=False,
+                allow_infinity=False,
+                allow_subnormal=False,
+                width=32,
+            ),
+            st.floats(
+                allow_nan=False,
+                allow_infinity=False,
+                allow_subnormal=False,
+                width=32,
+            ),
         ),
     ),
 )