ModelCheckModule

constructor(path: String, directory: String, enabledViewpoints: List<String>, configuredElementId: String, failAt: ProblemSeverity, reportClassificationDifferences: Boolean = true)