Function export_html_command

tools/fastgrind.py:2892–2895

(engine: FastgrindQueryEngine, input_path: Path, output: str | None)

def export_html_command(engine: FastgrindQueryEngine, input_path: Path, output: str | None) -> None:
    output_path = Path(output) if output else input_path.with_suffix(".html")
    engine.export_html_snapshot(output_path)
    print(f"HTML written: {output_path}")


def default_trace_path() -> Path: