50aea37d_Troubleshooting__Problem
[Solution] SOLUTION-1 You have most likely run the GEM command "Formally Verify MPI Program" on a source file that does not contain a main() program entry point, or does not simply compile by itself. Remember, for anything larger than a simple single-file Managed Build Project you will need to create a Makefile Project and run GEM via the steps outlined in GEM Makefile Support. SOLUTION-2 If you get STDERR in the GEM Console like the following: /usr/local/lib/libisp_prof.so: undefined reference to `MPI::Win::Free()' /usr/local/lib/libisp_prof.so: undefined reference to `MPI::Datatype::Free()' /usr/local/lib/libisp_prof.so: undefined reference to `MPI::Comm::Comm()' /usr/local/lib/libisp_prof.so: undefined reference to `ompi_mpi_cxx_op_intercept' Then you are most likely using OpenMPI and libmpi_cxx is not being linked in by ispcc. Locate the script ispcc and add -lmpi_cxx to the end of the single line in the script beginning with exec (see example below). exec "/usr/local/bin/mpicc" "-L/usr/local/lib" "-I/usr/local/include/isp" \ -Wl,-rpath=/usr/local/lib -include isp.h $* -lisp_prof -lmpi_cxx [Problem] 
When I run Gem on a particular source file I get a dialog box appears stating that a valid executable could not be created from the source file:
Troubleshooting
Problem