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