Supported plugins

Plugin for MPI correctness checking functionality:

Plugins for the GNU and LLVM compiler sanitizers: