component7.st revision 1.1.1.1
1# Check that component detection is not confused by values 2# of the schedule dimension that do not correspond to any statement instances. 3domain: "[K] -> { S[]; T[i] : 0 <= i < K }" 4child: 5 context: "[K] -> { [] : K > 0 }" 6 child: 7 schedule: "[K] -> [{ S[] -> [(0)]; T[i] -> [(32*floor((i)/32))] }]" 8 child: 9 sequence: 10 - filter: "[K] -> { S[] }" 11 - filter: "[K] -> { T[i] }" 12