(C3007) Arrays with indices in reverse order Error In: Correctness Description: Arrays or bit-arrays reference slices whose borders are in 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
A