disable the ModConsistency::noResolve predicate for qltests

erik-krogh · erik-krogh · commit 79a8f96139ae · 2022-08-11T12:31:53.000+02:00
diff --git a/ql/ql/src/codeql_ql/ast/internal/Module.qll b/ql/ql/src/codeql_ql/ast/internal/Module.qll
@@ -391,5 +391,6 @@ module ModConsistency {
     not i.getResolvedModule().getEnclosing*().asModule().hasParameter(_, _, _)
   }
 
-  query predicate noResolve(Import i) { not exists(i.getResolvedModule()) }
+  // not a query predicate, because this fails when running qltests, but it passes on the real thing (so it's used in EmptyConsistencies.ql)
+  predicate noResolve(Import i) { not exists(i.getResolvedModule()) }
 }

Original file line number	Diff line number	Diff line change
`@@ -391,5 +391,6 @@ module ModConsistency {`
`391`	`391`	`not i.getResolvedModule().getEnclosing*().asModule().hasParameter(_, _, _)`
`392`	`392`	`}`
`393`	`393`
`394`		`- query predicate noResolve(Import i) { not exists(i.getResolvedModule()) }`
	`394`	`+ // not a query predicate, because this fails when running qltests, but it passes on the real thing (so it's used in EmptyConsistencies.ql)`
	`395`	`+ predicate noResolve(Import i) { not exists(i.getResolvedModule()) }`
`395`	`396`	`}`