Write a failure log file to the log_failures directory. Args: log_dir: Directory to write to (None = no-op) name: Test name (will be sanitized for filename) suffix: 'compile' or 'run' content: Log content
(
log_dir: Optional[Path], name: str, suffix: str, content: str
)
| 272 | |
| 273 | |
| 274 | def _write_failure_log( |
| 275 | log_dir: Optional[Path], name: str, suffix: str, content: str |
| 276 | ) -> None: |
| 277 | """Write a failure log file to the log_failures directory. |
| 278 | |
| 279 | Args: |
| 280 | log_dir: Directory to write to (None = no-op) |
| 281 | name: Test name (will be sanitized for filename) |
| 282 | suffix: 'compile' or 'run' |
| 283 | content: Log content |
| 284 | """ |
| 285 | if log_dir is None: |
| 286 | return |
| 287 | log_dir.mkdir(parents=True, exist_ok=True) |
| 288 | safe_name = name.replace(":", "_").replace("/", "_").replace("\\", "_") |
| 289 | log_path = log_dir / f"{safe_name}_{suffix}.log" |
| 290 | with open(log_path, "w", encoding="utf-8", errors="replace") as f: |
| 291 | f.write(content) |
| 292 | |
| 293 | |
| 294 | def _extract_compile_failures(compile_output: str) -> dict[str, str]: |
no test coverage detected