| 87 | |
| 88 | |
| 89 | def parse_args() -> argparse.Namespace: |
| 90 | parser = argparse.ArgumentParser(description="Generate LaTeX RD table from JSON statistics.") |
| 91 | parser.add_argument( |
| 92 | "--input", |
| 93 | type=Path, |
| 94 | default=Path("open_stats/static_rd.json"), |
| 95 | help="Path to the input JSON file.", |
| 96 | ) |
| 97 | parser.add_argument( |
| 98 | "--output", |
| 99 | type=Path, |
| 100 | default=Path("tools/static_bench/static_rd_table.tex"), |
| 101 | help="Path to the output LaTeX file.", |
| 102 | ) |
| 103 | parser.add_argument( |
| 104 | "--pdf", |
| 105 | type=Path, |
| 106 | default=None, |
| 107 | help="Optional path to the output PDF file.", |
| 108 | ) |
| 109 | return parser.parse_args() |
| 110 | |
| 111 | |
| 112 | def load_stats(json_path: Path) -> OrderedDict: |