Flow Chart Checks : (C18011) Elements using uninitialized context variables

(C18011) Elements using uninitialized context variables

Error In:
Correctness
Description:
Elements contain action expressions that use an uninitialized context variable.
Example:
There is a transition labeled with the following label:

E / Y=$X; $X=Z

$X is used before any value is assigned to it.

 

 

Erroneous Elements:
States, transitions, and actions