unable to verify compositional collectives using subcommunicators #3
Description
Some collective algorithms in MPICH utilize implicit subcommunicators to perform the communication as a composition two or more collective steps. A standard MPI program does not have access to these internal comms, but could construct them on demand using MPI_Comm_split. However, CIVL does not currently define MPI_Comm_split.
CIVL v1.22.r5959 of 2025-03-17 -- https://civl.dev
Syntax error: Function MPI_Comm_split doesn't have a definition.