(path: Path)
| 21 | |
| 22 | |
| 23 | def deserialize_identifiers(path: Path) -> List[BenchmarkIdentifier]: |
| 24 | with open(path) as f: |
| 25 | items = json.load(f) |
| 26 | return [BenchmarkIdentifier.from_dict(item) for item in items] |
| 27 | |
| 28 | |
| 29 | def create_submit_script_header(directory: Path, options: PBSSubmitOptions): |