| 432 | # return unfinished_configs |
| 433 | |
| 434 | def get_unfinished(config_files: list[str], result_dir: str) -> list[str]: |
| 435 | result_files = glob.glob(f"{result_dir}/traces/*.json") |
| 436 | task_ids = [ |
| 437 | os.path.basename(f).split(".")[0].split("_")[1] for f in result_files |
| 438 | ] |
| 439 | unfinished_configs = [] |
| 440 | for config_file in config_files: |
| 441 | task_id = os.path.basename(config_file).split(".")[0] |
| 442 | if task_id not in task_ids: |
| 443 | unfinished_configs.append(config_file) |
| 444 | return unfinished_configs |
| 445 | |
| 446 | def dump_config(args: argparse.Namespace) -> None: |
| 447 | config_file = Path(args.result_dir) / "config.json" |