(config_files: list[str], result_dir: str)
| 381 | |
| 382 | |
| 383 | def get_unfinished(config_files: list[str], result_dir: str) -> list[str]: |
| 384 | result_files = glob.glob(f"{result_dir}/*.html") |
| 385 | task_ids = [ |
| 386 | os.path.basename(f).split(".")[0].split("_")[1] for f in result_files |
| 387 | ] |
| 388 | unfinished_configs = [] |
| 389 | for config_file in config_files: |
| 390 | task_id = os.path.basename(config_file).split(".")[0] |
| 391 | if task_id not in task_ids: |
| 392 | unfinished_configs.append(config_file) |
| 393 | return unfinished_configs |
| 394 | |
| 395 | |
| 396 | @beartype |