Fix flaky test

HypothesisWorks · Nov 16, 2021 · 65b4b21 · 65b4b21
1 parent 7aecdf6
commit 65b4b21
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/hypothesis-python/tests/cover/test_stateful.py b/hypothesis-python/tests/cover/test_stateful.py
@@ -385,9 +385,10 @@ def test_saves_failing_example_in_database():
 
 
 def test_can_run_with_no_db():
-    with deterministic_PRNG():
-        with raises(AssertionError):
-            run_state_machine_as_test(DepthMachine, settings=Settings(database=None))
+    with deterministic_PRNG(), raises(AssertionError):
+        run_state_machine_as_test(
+            DepthMachine, settings=Settings(database=None, max_examples=10_000)
+        )
 
 
 def test_stateful_double_rule_is_forbidden(recwarn):