Function dump_timing_stats

mypy/build.py:4196–4200

Dump timing stats for each file in the given graph.

(path: str, graph: Graph)

def dump_timing_stats(path: str, graph: Graph) -> None:
    """Dump timing stats for each file in the given graph."""
    with open(path, "w") as f:
        for id in sorted(graph):
            f.write(f"{id} {graph[id].time_spent_us}\n")


def dump_line_checking_stats(path: str, graph: Graph) -> None: