Module TranslateModels
Translates models-as-data provenance information into a format that can be used in tests.
Import path
import codeql.dataflow.test.ProvenancePathGraphPredicates
| models | Lists the renumbered and pretty-printed models used in the edges relation. |
| translateModels | Holds if the model |
Parameters
| interpretModelForTest0 | interpretModelForTestSig | |
| provenance | provenanceSig |