Skip to content

Commit da944cc

Browse files
committed
Better crosshair config
1 parent 69c41d1 commit da944cc

File tree

1 file changed

+13
-3
lines changed

1 file changed

+13
-3
lines changed

hypothesis-python/tests/common/setup.py

Lines changed: 13 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@
1111
import os
1212
from warnings import filterwarnings
1313

14-
from hypothesis import Phase, Verbosity, settings
14+
from hypothesis import HealthCheck, Phase, Verbosity, settings
1515
from hypothesis._settings import not_set
1616
from hypothesis.internal.conjecture.data import AVAILABLE_PROVIDERS
1717
from hypothesis.internal.coverage import IN_COVERAGE_TESTS
@@ -61,7 +61,17 @@ def run():
6161

6262
settings.register_profile("debug", settings(verbosity=Verbosity.debug))
6363

64-
for backend in set(AVAILABLE_PROVIDERS) - {"hypothesis"}:
65-
settings.register_profile(backend, backend=backend) # e.g. "crosshair"
64+
if "crosshair" in AVAILABLE_PROVIDERS:
65+
settings.register_profile(
66+
"crosshair",
67+
backend="crosshair",
68+
max_examples=20,
69+
deadline=None,
70+
suppress_health_check=list(HealthCheck),
71+
report_multiple_bugs=False,
72+
)
73+
74+
for backend in set(AVAILABLE_PROVIDERS) - {"hypothesis", "crosshair"}:
75+
settings.register_profile(backend, backend=backend)
6676

6777
settings.load_profile(os.getenv("HYPOTHESIS_PROFILE", "default"))

0 commit comments

Comments
 (0)