Predicate TestPostProcessing::TranslateProvenanceResults::results
Holds if a result exists with the given relation, row, column, and data.
Import path
import codeql.dataflow.test.ProvenancePathGraphHolds if a result exists with the given relation, row, column, and data.
import codeql.dataflow.test.ProvenancePathGraph