LibmpiExecutor

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total232 of 66465%24 of 4040%203343124310
executeMpiCheckBuffer(State, int, String, Expression[], SymbolicExpression[], CIVLSource)9618766%131145%1013144801
getVariableWTDynamicScoping(State, int, String, String)580%80%55151511
executeSetStatus(State, int, Expression[], SymbolicExpression[])310%n/a115511
executeGetStatus(State, int)250%n/a114411
executeValue(State, int, String, CIVLSource, String, Expression[], SymbolicExpression[])226273%3562%3851801
executeNewGcomm(State, int, String, Expression[], SymbolicExpression[], CIVLSource)52100%n/a0101001
executeRootScopeSystem(State, int, String, Expression[], SymbolicExpression[], CIVLSource)45100%n/a010901
executeGetGcomm(State, int, String, Expression[], SymbolicExpression[], CIVLSource)39100%n/a010801
LibmpiExecutor(String, Executor, ModelFactory, SymbolicUtility, SymbolicAnalyzer, CIVLConfiguration, LibraryExecutorLoader, LibraryEvaluatorLoader)24100%n/a010301
executeProcScopeSystem(State, int, String, Expression[], SymbolicExpression[], CIVLSource)23100%n/a010401