Predicate Make::Private::External::invalidProvenance
Holds if provenance is not a valid provenance value.
Import path
import codeql.dataflow.internal.FlowSummaryImplpredicate invalidProvenance(string provenance)Holds if provenance is not a valid provenance value.
import codeql.dataflow.internal.FlowSummaryImplpredicate invalidProvenance(string provenance)