50aea37d_Troubleshooting__Problem
[Solution] You can terminate the current GEM operation by clicking the "Terminate Operation" button in the GEM Console View. You also may have most 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. [Problem] 
When I run Gem on a particular source file, GEM just hangs.
Troubleshooting
Problem