isl_local_space_divs_known: extract out isl_local_divs_known

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

# Check that the Feautrier schedule is not confused by
# compressed nodes in a subgraph of the original dependence graph.
# OPTIONS: --schedule-algorithm=feautrier
domain: { A[]; B[0]; C[] }
validity: { A[] -> B[0] }