Avoid misleading SAT summaries after task cancellation

This commit is contained in:
Mikhail Chusavitin
2026-04-06 12:24:19 +03:00
parent 35f4c53887
commit 0d0e1f55a7
2 changed files with 37 additions and 0 deletions

View File

@@ -674,6 +674,9 @@ func runAcceptancePackCtx(ctx context.Context, baseDir, prefix string, jobs []sa
if writeErr := os.WriteFile(filepath.Join(runDir, job.name), out, 0644); writeErr != nil {
return "", writeErr
}
if ctx.Err() != nil {
return "", ctx.Err()
}
status, rc := classifySATResult(job.name, out, err)
stats.Add(status)
key := strings.TrimSuffix(strings.TrimPrefix(job.name, "0"), ".log")