1# Check that the isolate option is adjusted by schedule space scaling
2domain: "{ A[i] : 0 <= i < 100 }"
3child:
4  schedule: "[{ A[i] -> [3i] }]"
5  options: "{ isolate[[] -> [x]] : 10 <= x <= 20 }"
6