# Setting the Number of Processes

Before formally verifying an MPI C/C++ program, you need to set the number of processes for a particular run.

There are two methods of doing this:

## GEM Toolbar Button

Open the source code file in the Eclipse editor window and select Set Number of Processes from the trident pull-down icon on the Eclipse toolbar.

An input dialog will allow you to enter the desired number of processes, which will persist until you change the value again.

## Analyzer or Browser View

If the Analyzer View is already visible, the number of processes can also be set from the down combo-box (see image below) in the Analyzer View's Runtime information group for the next GEM run.

If the Browser View is already visible, the number of processes can also be set from the down combo-box underneath the Browser View's help button (see image below) for the next GEM run.

Back to Top | Back to Table of Contents

School of Computing * 50 S. Central Campus Dr. Rm. 3190 * Salt Lake City, UT 84112 * isp-dev@cs.utah.edu
License