advanced-security/qtil-go
0.0.3
For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
Holds if this guard ensures that i = j holds.
i = j
predicate ensuresEq(Node i, Node j)