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