add dependent draw test case

HypothesisWorks · Jul 4, 2024 · 6196973 · 6196973
1 parent 3d4fc6f
commit 6196973
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/hypothesis-python/tests/conjecture/test_alt_backend.py b/hypothesis-python/tests/conjecture/test_alt_backend.py
@@ -415,3 +415,16 @@ def test_function(n):
         test_function()
 
         assert all(n == 42 for n in values)
+
+
+def test_realize_dependent_draw():
+    with temp_register_backend("realize", RealizeProvider):
+
+        @given(st.data())
+        @settings(backend="realize")
+        def test_function(data):
+            n1 = data.draw(st.integers())
+            n2 = data.draw(st.integers(n1, n1 + 10))
+            assert n1 <= n2
+
+        test_function()