(case_dir: str, case: Phase7Case)
| 725 | |
| 726 | |
| 727 | def write_meta(case_dir: str, case: Phase7Case) -> None: |
| 728 | with open(os.path.join(case_dir, "meta.txt"), "w", encoding="utf-8") as f: |
| 729 | f.write(f"num_slots={len(case.mem_cases)}\n") |
| 730 | for i, tpos in enumerate(case.spatial_tpos): |
| 731 | f.write(f"slot{i}_spatial_tpos={tpos}\n") |
| 732 | f.write(f"slot{i}_ptr_tpos={case.ptr_tpos[i]}\n") |
| 733 | |
| 734 | |
| 735 | def main() -> None: |