MPI Verification Environment
University of Utah
School of Computing
Binary Installer: Version 0.20
Source Code (BSD licensed
): Version 0.20
Papers about the MPIC Verification Environment
The debugger will not step or gives an error on the first/second step.
Select: Tools -> Options -> Debugging -> General. Make sure "Break all processes when one process breaks." is unchecked.
The debugger gives an error about mpishim when starting.
Search your system for mpishim.exe and make sure it is in your PATH.