Module ProvenancePathGraph

Provides a module for renumbering MaD IDs in data flow path explanations in order to produce more stable test output.

In addition to the PathGraph, a query predicate models is provided to list the contents of the referenced MaD rows.

Import path

import codeql.dataflow.test.ProvenancePathGraph

ShowProvenance	Transforms a `PathGraph` by printing the provenance information.
TestPostProcessing	Provides logic for creating a `@kind test-postprocess` query that prints the provenance information.
TranslateModels	Translates models-as-data provenance information into a format that can be used in tests.