Skip to content

Commit

Permalink
format whitespace
Browse files Browse the repository at this point in the history
  • Loading branch information
qthequartermasterman committed May 1, 2024
1 parent 798c98b commit d973397
Showing 1 changed file with 15 additions and 3 deletions.
18 changes: 15 additions & 3 deletions hypothesis-python/src/hypothesis/internal/conjecture/engine.py
Original file line number Diff line number Diff line change
Expand Up @@ -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:
Expand Down

0 comments on commit d973397

Please sign in to comment.