(path: Path)
| 144 | |
| 145 | |
| 146 | def load_cases(path: Path) -> dict[str, Any]: |
| 147 | with path.open("r", encoding="utf-8") as handle: |
| 148 | return json.load(handle) |
| 149 | |
| 150 | |
| 151 | def selected_cases(catalog: dict[str, Any], only: set[str], family: str | None) -> list[dict[str, Any]]: |