diff --git a/test_minithesis.py b/test_minithesis.py index 6702727..db40c2f 100644 --- a/test_minithesis.py +++ b/test_minithesis.py @@ -435,7 +435,7 @@ class Failure(Exception): @settings( - suppress_health_check=HealthCheck.all(), + suppress_health_check=list(HealthCheck), deadline=None, report_multiple_bugs=False, max_examples=50,