Member predicate ConditionalLoop::entersLoopWhenConditionIs
Holds if the loop body is entered when the condition is condValue
.
predicate entersLoopWhenConditionIs(boolean condValue)
Holds if the loop body is entered when the condition is condValue
.
predicate entersLoopWhenConditionIs(boolean condValue)