7 extent: '{ __pet_test_0[] }'
8 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
17 extent: '{ test[i0] : i0 >= 0 }'
23 schedule: '{ S_0[] -> [0] }'
29 relation: '{ S_0[] -> index[] }'
30 index: '{ S_0[] -> index[] }'
31 reference: __pet_ref_0
38 schedule: '{ S_1[] -> [1, 0] }'
44 relation: '{ S_1[] -> __pet_test_0[] }'
45 index: '{ S_1[] -> __pet_test_0[] }'
46 reference: __pet_ref_1
50 relation: '{ [S_1[] -> [i0]] -> test[i0] : i0 >= 0 }'
51 index: '{ [S_1[] -> [i0]] -> test[((i0) : i0 >= 0)] }'
52 reference: __pet_ref_3
57 relation: '{ S_1[] -> index[] }'
58 index: '{ S_1[] -> index[] }'
59 reference: __pet_ref_2
63 domain: '{ [S_2[] -> [1]] }'
64 schedule: '{ S_2[] -> [1, 1] }'
70 relation: '{ S_2[] -> index[] }'
71 index: '{ S_2[] -> index[] }'
72 reference: __pet_ref_5
79 relation: '{ S_2[] -> __pet_test_0[] }'
80 index: '{ S_2[] -> __pet_test_0[] }'
81 reference: __pet_ref_4