Module UselessComparisonTest

Import path

Likely_Bugs.Comparison.UselessComparisonTest

Imports

Comparison
Guards
SSA

Provides classes and predicates for SSA representation (Static Single Assignment form).

java

Provides all default Java QL imports.

Predicates

uselessTest

The information from s1 implies that test always has the value testIsTrue.

Classes

BoundKind

The kind of bound that is known to hold for some variable.