mirror of
https://github.com/github/codeql.git
synced 2025-12-17 17:23:36 +01:00
10 lines
247 B
Plaintext
10 lines
247 B
Plaintext
/*
|
|
* @name Checks for model consistency
|
|
*/
|
|
|
|
import semmle.code.csharp.commons.ConsistencyChecks
|
|
|
|
from Element e, string m
|
|
where consistencyFailure(e, m)
|
|
select e, "Element class " + e.getAPrimaryQlClass() + " has consistency check failed: " + m
|