src/third_party/llvm-project/polly/lib/External/isl/test_inputs/codegen/isolate1.st - cobalt - Git at Google

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