Predicate TranslateModels::translateModels
Holds if the model model1
should be translated to model2
.
Import path
import codeql.dataflow.test.ProvenancePathGraph
predicate translateModels(string model1, string model2)
Holds if the model model1
should be translated to model2
.
import codeql.dataflow.test.ProvenancePathGraph
predicate translateModels(string model1, string model2)