| executeMPI_Recv(State, int, LHSExpression, MPIRecvStatement) |  | 0% | | 0% | 27 | 27 | 100 | 100 | 1 | 1 |
| executeMPI_Send(State, int, LHSExpression, MPISendStatement) | | 0% | | 0% | 15 | 15 | 70 | 70 | 1 | 1 |
| getMPIRecvGuard(State, int, MPIRecvStatement) | | 0% | | 0% | 15 | 15 | 50 | 50 | 1 | 1 |
| executeWork(State, int, Statement) | | 0% | | 0% | 15 | 15 | 33 | 33 | 1 | 1 |
| newPathCondition(State, int, Statement) | | 0% | | 0% | 6 | 6 | 17 | 17 | 1 | 1 |
| libraryExecutor(CallOrSpawnStatement) | | 0% | | 0% | 12 | 12 | 7 | 7 | 1 | 1 |
| MPIExecutor(GMCConfiguration, ModelFactory, StateFactory, ErrorLog, LibraryExecutorLoader, PrintStream, boolean) | | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 |
| static {...} | | 0% | | 0% | 2 | 2 | 1 | 1 | 1 | 1 |