From d97339741e61edd12057f6a76159f18e9266fb28 Mon Sep 17 00:00:00 2001 From: qthequartermasterman Date: Tue, 30 Apr 2024 22:17:08 -0500 Subject: [PATCH] format whitespace --- .../hypothesis/internal/conjecture/engine.py | 18 +++++++++++++++--- 1 file changed, 15 insertions(+), 3 deletions(-) diff --git a/hypothesis-python/src/hypothesis/internal/conjecture/engine.py b/hypothesis-python/src/hypothesis/internal/conjecture/engine.py index 17b0c86cb5..a3a55a56ab 100644 --- a/hypothesis-python/src/hypothesis/internal/conjecture/engine.py +++ b/hypothesis-python/src/hypothesis/internal/conjecture/engine.py @@ -145,15 +145,27 @@ def _get_provider(backend: str) -> Union[type, PrimitiveProvider]: "Expected one of 'test_function', 'test_case'." ) + class CallStats(TypedDict): status: str runtime: float drawtime: float events: List[str] -PhaseStatistics = TypedDict("PhaseStatistics", {"duration-seconds": float, "test-cases": List[CallStats], "distinct-failures": int, "shrinks-successful": int}) -StatisticsDict = TypedDict("StatisticsDict", {"generate-phase": NotRequired[PhaseStatistics], "reuse-phase": NotRequired[PhaseStatistics], "shrink-phase": NotRequired[PhaseStatistics],"stopped-because":NotRequired[str], "targets": NotRequired[Dict[Optional[str], float]]}) - +PhaseStatistics = TypedDict( + "PhaseStatistics", + {"duration-seconds": float, "test-cases": List[CallStats], "distinct-failures": int, "shrinks-successful": int}, +) +StatisticsDict = TypedDict( + "StatisticsDict", + { + "generate-phase": NotRequired[PhaseStatistics], + "reuse-phase": NotRequired[PhaseStatistics], + "shrink-phase": NotRequired[PhaseStatistics], + "stopped-because":NotRequired[str], + "targets": NotRequired[Dict[Optional[str], float]], + }, +) class ConjectureRunner: