mirror of
https://github.com/github/codeql.git
synced 2025-12-17 17:23:36 +01:00
321820e758
We are no longer bound to the platform-specific directories, so simplify the test organization. If you don't want this change, just skip merging this PR. It's purely optional. I kept the platform-specific directories around under `kotlin`, but you could also easily merge all these together if you find them unhelpful. I'll leave that change to you.
15 lines
548 B
Plaintext
15 lines
548 B
Plaintext
import java
|
|
|
|
from string genBy, int severity, string tag, string msg, string msg2, Location l
|
|
where
|
|
diagnostics(_, genBy, severity, tag, msg, _, l) and
|
|
(
|
|
// Different installations get different sets of these messages,
|
|
// so we filter out all but one that happens everywhere.
|
|
msg.matches("Not rewriting trap file for %")
|
|
implies
|
|
msg.matches("Not rewriting trap file for %Boolean.members%")
|
|
) and
|
|
msg2 = msg.regexpReplaceAll("#-?[0-9]+\\.-?[0-9]+--?[0-9]+-", "<VERSION>-<MODIFIED>-")
|
|
select genBy, severity, tag, msg2, l
|