bugfinder.utils.statistics

Utilities for statistic purposes.

bugfinder.utils.statistics.display_time(time_in_ms)

Display time in a human friendly manner.

bugfinder.utils.statistics.divide(dividend, divisor)

Division function to return quotient and remainder

bugfinder.utils.statistics.get_time()

Get current time in microseconds

Returns

current time in ms

Return type

int

bugfinder.utils.statistics.has_better_metrics(eval_keys: list[str], current_metrics: dict[str, float], last_metrics: Optional[dict[str, float]] = None) → bool

Evaluate two metrics datastructure depending on a set of keys.