write_to_json
(filename: str, records: list)
| 972 | |
| 973 | |
| 974 | def write_to_json(filename: str, records: list) -> None: |
| 975 | """write_to_json""" |
| 976 | with open(filename, "w") as f: |
| 977 | json.dump(records, f, cls=InfEncoder) |
| 978 | |
| 979 | |
| 980 | def save_to_pytorch_benchmark_format(args: argparse.Namespace, results: dict[str, Any], file_name: str) -> None: |