1*1de4e381STobias Grosser# Check that generic options are not applied to isolated part 2*1de4e381STobias Grosserdomain: "{ A[i] : 0 <= i < 20 }" 3*1de4e381STobias Grosserchild: 4*1de4e381STobias Grosser schedule: "[{ A[i] -> [i] }]" 5*1de4e381STobias Grosser options: "{ isolate[[] -> [x]] : 5 <= x <= 15; unroll[x] }" 6