6 lines · plain
1# Check use of options specific to isolated part2domain: "{ A[i] : 0 <= i < 100 }"3child:4 schedule: "[{ A[i] -> [i] }]"5 options: "{ isolate[[] -> [x]] : 10 <= x <= 20; [isolate[] -> unroll[x]] }"6 1# Check use of options specific to isolated part2domain: "{ A[i] : 0 <= i < 100 }"3child:4 schedule: "[{ A[i] -> [i] }]"5 options: "{ isolate[[] -> [x]] : 10 <= x <= 20; [isolate[] -> unroll[x]] }"6