Member predicate UntilExpr::entersLoopWhenConditionIs
Holds if the loop body is entered when the condition is condValue
. For
until
loops, this holds when condValue
is false.
predicate entersLoopWhenConditionIs(boolean condValue)
Holds if the loop body is entered when the condition is condValue
. For
until
loops, this holds when condValue
is false.
predicate entersLoopWhenConditionIs(boolean condValue)