1*1de4e381STobias Grosser# Check that the isolate option is adjusted by schedule space scaling 2*1de4e381STobias Grosserdomain: "{ A[i,j] : 0 <= i,j < 100 }" 3*1de4e381STobias Grosserchild: 4*1de4e381STobias Grosser schedule: "[{ A[i,j] -> [3i] }]" 5*1de4e381STobias Grosser child: 6*1de4e381STobias Grosser schedule: "[{ A[i,j] -> [3j] }]" 7*1de4e381STobias Grosser options: "{ isolate[[x] -> [y]] : 10 <= x <= 20 }" 8