(C1019) Expressions containing operation between arrays with unequal length Elements contain assignments or comparisons between arrays or array slices of different lengths. Error In: Correctness Example: There is an action that contains the assignment A=B, where A is defined as an array from 1 to 3, and B is an array from 1 to 5. Erroneous Elements: States, transitions, and actions
A=B
A
B