Remove hypothesis upper pin, bound filter values to MAX_UINT_256

Author: kclowes

setup.py

@@ -32,7 +32,7 @@
         "pytest-xdist>=2.4.0",
         "pytest>=7.0.0",
         "flaky>=3.7.0",
-        "hypothesis>=3.31.2,<6.131.1",
+        "hypothesis>=3.31.2",
         "tox>=4.0.0",
         "mypy==1.10.0",
         "pre-commit>=3.4.0",

tests/core/filtering/test_contract_data_filters.py

@@ -37,16 +37,21 @@ def dynamic_values(draw):
     }
 
 
+MAX_UINT_256 = 2**256 - 1
+
+
 @st.composite
 def fixed_values(draw):
-    non_matching_1 = draw(st.integers(min_value=0))
-    non_matching_2 = draw(st.integers(min_value=0))
-    non_matching_3 = draw(st.integers(min_value=0))
-    non_matching_4 = draw(st.integers(min_value=0))
+    non_matching_1 = draw(st.integers(min_value=0, max_value=MAX_UINT_256))
+    non_matching_2 = draw(st.integers(min_value=0, max_value=MAX_UINT_256))
+    non_matching_3 = draw(st.integers(min_value=0, max_value=MAX_UINT_256))
+    non_matching_4 = draw(st.integers(min_value=0, max_value=MAX_UINT_256))
     exclusions = (non_matching_1, non_matching_2, non_matching_3, non_matching_4)
     matching_values = draw(
         st.lists(
-            elements=st.integers(min_value=0).filter(lambda x: x not in exclusions),
+            elements=st.integers(min_value=0, max_value=MAX_UINT_256).filter(
+                lambda x: x not in exclusions
+            ),
             min_size=4,
             max_size=4,
         )