Fix hypothesis settings for uninstrumented runs
Marco Ricci

Marco Ricci commited on 2024-12-19 15:18:58
Zeige 1 geänderte Dateien mit 4 Einfügungen und 1 Löschungen.


The state machine tests appear to have such slow data generation that
they trigger `hypothesis` health check errors even in uninstrumented
runs (i.e. without a trace function running).
... ...
@@ -1342,7 +1342,10 @@ def hypothesis_settings_coverage_compatible(
1342 1342
             suppress_health_check=(hypothesis.HealthCheck.too_slow,),
1343 1343
         )
1344 1344
         if sys.gettrace() is not None
1345
-        else hypothesis.settings()
1345
+        else hypothesis.settings(
1346
+            stateful_step_count=32,
1347
+            suppress_health_check=(hypothesis.HealthCheck.too_slow,),
1348
+        )
1346 1349
     )
1347 1350
     return settings if f is None else settings(f)
1348 1351
 
1349 1352