Member predicate Private::TestOutput::RelevantSummarizedCallable::relevantSummary
Holds if flow is propagated between input and output.
predicate relevantSummary(SummaryComponentStack input, SummaryComponentStack output, boolean preservesValue)Holds if flow is propagated between input and output.
predicate relevantSummary(SummaryComponentStack input, SummaryComponentStack output, boolean preservesValue)