isl_space_is_domain: extract out isl_space_has_domain_tuples
[isl.git] / test_inputs / flow / single_source-tree.flow
blobe72b8d72e404c6b19390a7713962cfcb0426029e
1 must_dependence: "{ T[] -> [S[] -> a[]] }"
2 may_dependence: "{ T[] -> [S[] -> a[]] }"
3 must_no_source: "{  }"
4 may_no_source: "{  }"