Files
codeql/python/ql/test/library-tests/comparisons/Implication.ql
2020-03-30 11:59:10 +02:00

7 lines
270 B
Plaintext

import python
import semmle.python.Comparisons
from Comparison a, Comparison that, boolean thisIsTrue, boolean thatIsTrue
where a.impliesThat(thisIsTrue, that, thatIsTrue)
select a.getLocation().getStartLine(), thisIsTrue, that.getLocation().getStartLine(), thatIsTrue