6 lines · plain
1# Check the decomposition of the topological sort.2# This decomposition is only performed by the incremental scheduler.3# OPTIONS: --no-schedule-whole-component4domain: { A[]; B[]; C[] }5validity: { A[] -> B[]; B[] -> C[] }6 1# Check the decomposition of the topological sort.2# This decomposition is only performed by the incremental scheduler.3# OPTIONS: --no-schedule-whole-component4domain: { A[]; B[]; C[] }5validity: { A[] -> B[]; B[] -> C[] }6