add isl_basic_set_variable_compression_with_id

[isl.git] / test_inputs / codegen / isolate3.st

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