Flow Chart Checks : (C18013) Elements containing infinite while loops

(C18013) Elements containing infinite while loops

Error In:
Correctness
Description:
This check detects cases in which the while loop control expression does not contain a context variable and there is no break statement in the loop.
Erroneous Elements:
States, transitions, and actions