MUST Release 1.9.0
23/05/2023
The MPI correctness checking tool MUST is now available in version 1.9.0.
The new version improves support for MPI-4 functions and features as partitioned point-to-point communication. Further, MUST now can check for misusage of OpenMP in the context of MPI (e.g., wrong thread-level usage in MPI+OpenMP programs). Other changes include machine-readable error reporting in JSON format and report of MPI functions which are not analyzed by MUST. Find more information on the project page.