isl_space_has_dim_name: use isl_bool_ok

[isl.git] / test_inputs / schedule / feautrier_compressed.st

domain: "{ B[0]; C[]; A[] }"
child:
  set:
  - filter: "{ B[i0]; A[] }"
    child:
      schedule: "[{ B[i0] -> [(1)]; A[] -> [(0)] }]"
  - filter: "{ C[] }"