Predicate Make::Private::TestSummaryOutput::summary
Holds if there exists a relevant summary callable with information roughly corresponding to csv
.
Used for testing.
The syntax is: “namespace;type;overrides;name;signature;ext;inputspec;outputspec;kind;provenance”,
ext is hardcoded to empty.
Import path
import codeql.dataflow.internal.FlowSummaryImpl