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