Potential fix for pull request finding

Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com>
This commit is contained in:
Geoffrey White
2026-07-01 16:52:38 +01:00
committed by GitHub
parent 73ec4b8d02
commit 226efb3ad7

View File

@@ -124,7 +124,7 @@ def m_sole
sink(empty.sole)
sink(single.sole) # $ hasValueFlow=a
# TODO: model that 'sole' does not return if the receiver has multiple elements
sink(multi.sole) # $ SPURIOUS: Unexpected result: hasValueFlow=b
sink(multi.sole) # $ SPURIOUS: hasValueFlow=b
end
m_sole()