| executeWork(State, int, CallOrSpawnStatement, String) |   | 83% | | 64% | 18 | 39 | 5 | 41 | 0 | 1 |
| executeAssertConsistentType(State, int, String, Expression[], SymbolicExpression[], CIVLSource) | | 62% | | 62% | 3 | 5 | 3 | 16 | 0 | 1 |
| doMPIRecvOnSnapshots(State, int, String, String, SymbolicExpression, NumericExpression, NumericExpression, NumericExpression, CIVLSource) | | 42% | | n/a | 0 | 1 | 8 | 10 | 0 | 1 |
| doMPISendOnSnapshots(State, String, String, SymbolicExpression, SymbolicExpression, CIVLSource) | | 36% | | n/a | 0 | 1 | 8 | 10 | 0 | 1 |
| executeGetStatus(State, int, CallOrSpawnStatement) | | 82% | | 56% | 7 | 9 | 1 | 20 | 0 | 1 |
| executeSetStatus(State, int, CallOrSpawnStatement, Expression[], SymbolicExpression[]) | | 80% | | 57% | 6 | 8 | 0 | 18 | 0 | 1 |
| mpiTypeToCIVLType(int, CIVLSource) | | 50% | | 50% | 5 | 10 | 5 | 11 | 0 | 1 |
| executeCoassertWorker(State, int, String, Expression[], SymbolicExpression[], CIVLSource, boolean, ContractClauseExpression.ContractKind) | | 94% | | 65% | 9 | 14 | 0 | 47 | 0 | 1 |
| collectiveEvaluation(State, Expression[], Expression, boolean) | | 90% | | 88% | 1 | 5 | 1 | 18 | 0 | 1 |
| executeImageRecv(State, int, String, String, Expression[], SymbolicExpression[], NumericExpression, CIVLSource) | | 97% | | 80% | 2 | 6 | 1 | 23 | 0 | 1 |
| getScopeInProcessStack(State, int, Scope) | | 96% | | 88% | 1 | 5 | 1 | 17 | 0 | 1 |
| executeRootScope(State, int, String, LHSExpression, Expression[], SymbolicExpression[], CIVLSource) | | 96% | | 50% | 1 | 2 | 1 | 9 | 0 | 1 |
| executeProcScope(State, int, String, LHSExpression, Expression[], SymbolicExpression[], CIVLSource) | | 93% | | 50% | 1 | 2 | 1 | 6 | 0 | 1 |
| static {...} | | 75% | | 50% | 1 | 2 | 0 | 1 | 0 | 1 |
| executeImageSend(State, int, String, String, Expression[], SymbolicExpression[], NumericExpression, CIVLSource) | | 100% | | 80% | 2 | 6 | 0 | 18 | 0 | 1 |
| executeNewGcomm(State, int, String, LHSExpression, Expression[], SymbolicExpression[], CIVLSource) | | 100% | | 50% | 1 | 2 | 0 | 11 | 0 | 1 |
| executeGetGcomm(State, int, String, LHSExpression, Expression[], SymbolicExpression[], CIVLSource) | | 100% | | 50% | 1 | 2 | 0 | 9 | 0 | 1 |
| getchannelsFromCommHandle(State, int, String, Expression, SymbolicExpression) | | 100% | | n/a | 0 | 1 | 0 | 6 | 0 | 1 |
| executeCollectiveContract(State, int, String, Expression[], ContractClauseExpression.ContractKind, CIVLSource) | | 100% | | n/a | 0 | 1 | 0 | 6 | 0 | 1 |
| executeCoassertArrive(State, int, String, Expression[], CIVLSource) | | 100% | | n/a | 0 | 1 | 0 | 6 | 0 | 1 |
| dequeueCollectiveEntryAndEvaluation(State, int, Expression, boolean) | | 100% | | n/a | 0 | 1 | 0 | 5 | 0 | 1 |
| LibmpiExecutor(String, Executor, ModelFactory, SymbolicUtility, SymbolicAnalyzer, CIVLConfiguration, LibraryExecutorLoader, LibraryEvaluatorLoader) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| execute(State, int, CallOrSpawnStatement, String) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |