Predicate ModelsAsData::interpretModelForTest
Holds if the given extension tuple madId should pretty-print as model.
Barrier models are included for completeness even though they will not show up in a path.
This predicate should only be used in tests.
Import path
import codeql.mad.static.ModelsAsDatapredicate interpretModelForTest(ExtensionId madId, string model)