blob: 8ae3240c93b2254a31ce0f8761ec056d3461d716 (
plain)
1
2
3
4
5
|
# Check the decomposition of the topological sort.
# This decomposition is only performed by the incremental scheduler.
# OPTIONS: --no-schedule-whole-component
domain: { A[]; B[]; C[] }
validity: { A[] -> C[]; B[] -> C[] }
|