Global Definition Set Checks : (C7103) Arrays with indices in reverse order

(C7103) Arrays with indices in reverse order

Error In:
Correctness
Description:

There are arrays or bit-arrays for which there are references to slices whose borders are in a reverse order, relative to their type definition.

Example:

A is a bit-array from 31 down to 0. There is an action in the model:

A (0..7)=3
 
 
Erroneous Elements:

Data-items, fields, conditions, and events