Manual neutral summaries should block generated summaries

This commit is contained in:
Owen Mansel-Chan
2024-01-06 21:43:43 +00:00
parent 52563b01b7
commit 7824e60acd
2 changed files with 8 additions and 0 deletions

View File

@@ -528,6 +528,10 @@ private class SummarizedCallableAdapter extends SummarizedCallable {
exists(Provenance provenance |
summaryElement(this, input, output, kind, provenance) and
provenance.isGenerated()
) and
not exists(Provenance provenance |
neutralElement(this, "summary", provenance) and
provenance.isManual()
)
}