Skip to content

Commit

Permalink
suppress filter_too_much for dfa test
Browse files Browse the repository at this point in the history
  • Loading branch information
tybug committed Mar 18, 2024
1 parent f9a28f0 commit e4e612a
Showing 1 changed file with 12 additions and 2 deletions.
14 changes: 12 additions & 2 deletions hypothesis-python/tests/conjecture/test_dfa.py
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,16 @@

import pytest

from hypothesis import assume, example, given, note, reject, settings, strategies as st
from hypothesis import (
HealthCheck,
assume,
example,
given,
note,
reject,
settings,
strategies as st,
)
from hypothesis.internal.conjecture.dfa import DEAD, ConcreteDFA


Expand Down Expand Up @@ -112,7 +121,8 @@ def test_canonicalised_matches_same_strings(dfa, via_repr):
)


@settings(max_examples=20)
# filters about 80% of examples. should potentially improve at some point.
@settings(max_examples=20, suppress_health_check=[HealthCheck.filter_too_much])
@given(dfas())
def test_has_string_of_max_length(dfa):
length = dfa.max_length(dfa.start)
Expand Down

0 comments on commit e4e612a

Please sign in to comment.