Skip to content

Fix typo in BasicBlock.qll#18695

Closed
intrigus-lgtm wants to merge 1 commit intogithub:mainfrom
intrigus-lgtm:patch-9
Closed

Fix typo in BasicBlock.qll#18695
intrigus-lgtm wants to merge 1 commit intogithub:mainfrom
intrigus-lgtm:patch-9

Commits

Commits on Feb 6, 2025