From 65b4b2102b94463af95a94a9994e77cfaf12f275 Mon Sep 17 00:00:00 2001 From: Zac-HD Date: Tue, 16 Nov 2021 23:06:19 +1100 Subject: [PATCH] Fix flaky test --- hypothesis-python/tests/cover/test_stateful.py | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/hypothesis-python/tests/cover/test_stateful.py b/hypothesis-python/tests/cover/test_stateful.py index 0755121110..e2ea83a88d 100644 --- 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):