Skip to content

Commit 0c6afb8

Browse files
committed
Rust: Add debug predicate
1 parent 5428ae6 commit 0c6afb8

File tree

1 file changed

+6
-0
lines changed

1 file changed

+6
-0
lines changed

rust/ql/src/queries/telemetry/RustAnalyzerComparison.qll

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -59,6 +59,12 @@ private module Compare<ResolvableSig R, CompareSig<R> RustAnalyzer, CompareSig<R
5959

6060
predicate qlUniqueCount(int c) { c = count(Source s | qlUnique(s)) }
6161

62+
// debug predicate to find missing targets in QL implementation
63+
predicate qlMissing(Source s, Target t) {
64+
t = RustAnalyzer::resolve(s) and
65+
not t = Ql::resolve(s)
66+
}
67+
6268
predicate summary(string key, int value) {
6369
key = "rust-analyzer unique" and rustAnalyzerUniqueCount(value)
6470
or

0 commit comments

Comments
 (0)