This is an application which can perform a basic analysis to MPI programs, finding possible deadlocks and communication mismatches. Finally, it will also generate a specification for the MPI program, describing its communication patterns.


This application has two versions, one for windows and the other is for linux-like system. 
Please choose the right version according to your OS.

The MPI files in the Tests folder are tested by the developer.