tzf-rs 1.3.0

Fast convert longitude,latitude to timezone name.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33

#!/usr/bin/env python3
import sys
from pathlib import Path

from bench_memory_parse import build_full_rows


def main() -> int:
    if len(sys.argv) != 2:
        print("usage: bench_memory_full_report.py <benchmark_full_result.txt>", file=sys.stderr)
        return 1

    bench_file = Path(sys.argv[1])
    if not bench_file.exists():
        print(f"benchmark file not found: {bench_file}", file=sys.stderr)
        return 1

    bench_text = bench_file.read_text()
    rows = build_full_rows(bench_text, runs=5)

    print(
        "| Target | Dataset | Scenario | Median estimate (µs) | Approx throughput (ops/s) | Avg peak RSS (MiB) |"
    )
    print("| --- | --- | --- |---:|---:|---:|")
    for row in rows:
        # indices: 0=target 1=dataset 2=scenario 5=median 6=throughput 7=rss
        print(f"| {row[0]} | {row[1]} | {row[2]} | {row[5]} | {row[6]} | {row[7]} |")

    return 0


if __name__ == "__main__":
    raise SystemExit(main())