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