Predicate ModelValidation::invalidModelRow

Holds if some row in a MaD flow model appears to contain typos.

Import path

import semmle.code.csharp.dataflow.internal.ExternalFlow

predicate invalidModelRow(string msg)