diff --git a/src/_zkapauthorizer/tests/__init__.py b/src/_zkapauthorizer/tests/__init__.py index 1fd9a9da7f721537646cd78176a3c063909b2101..0f9529a87a1b9837c7b34798450815918ee5a9f5 100644 --- a/src/_zkapauthorizer/tests/__init__.py +++ b/src/_zkapauthorizer/tests/__init__.py @@ -28,24 +28,36 @@ def _configure_hypothesis(): settings, ) - settings.register_profile( - "ci", + base = dict( suppress_health_check=[ - # CPU resources available to CI builds typically varies - # significantly from run to run making it difficult to determine - # if "too slow" data generation is a result of the code or the - # execution environment. Prevent these checks from - # (intermittently) failing tests that are otherwise fine. + # CPU resources available to builds typically varies significantly + # from run to run making it difficult to determine if "too slow" + # data generation is a result of the code or the execution + # environment. Prevent these checks from (intermittently) failing + # tests that are otherwise fine. HealthCheck.too_slow, ], # With the same reasoning, disable the test deadline. deadline=None, ) + settings.register_profile( + "default", + **base + ) + + settings.register_profile( + "ci", + # Make CI runs a little more aggressive in amount of coverage they try + # to provide. + max_examples=200, + **base + ) + settings.register_profile( "big", max_examples=10000, - deadline=None, + **base ) profile_name = environ.get("ZKAPAUTHORIZER_HYPOTHESIS_PROFILE", "default")