C#: Reenable consistency check

This commit is contained in:
Tom Hvitved
2023-05-15 09:36:37 +02:00
parent 3c173df69e
commit 027cb2d335

View File

@@ -72,5 +72,5 @@ private class MyConsistencyConfiguration extends ConsistencyConfiguration {
override predicate reverseReadExclude(Node n) { n.asExpr() = any(AwaitExpr ae).getExpr() }
override predicate identityLocalStepExclude(Node n) { n.getLocation().getFile().fromLibrary() }
override predicate identityLocalStepExclude(Node n) { none() }
}