LibmpiExecutor

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total236 of 72267%28 of 5448%254339118310
executeMpiCheckBuffer(State, int, String, Expression[], SymbolicExpression[], CIVLSource)8020172%51169%59104401
getVariableWTDynamicScoping(State, int, String, String)580%80%55151511
executeValue(State, int, String, CIVLSource, String, Expression[], SymbolicExpression[])429770%151550%132251801
executeSetStatus(State, int, Expression[], SymbolicExpression[])310%n/a115511
executeGetStatus(State, int)250%n/a114411
executeNewGcomm(State, int, String, Expression[], SymbolicExpression[], CIVLSource)56100%n/a0101001
executeRootScope(State, int, String, Expression[], SymbolicExpression[], CIVLSource)44100%n/a010701
executeGetGcomm(State, int, String, Expression[], SymbolicExpression[], CIVLSource)43100%n/a010801
LibmpiExecutor(String, Executor, ModelFactory, SymbolicUtility, SymbolicAnalyzer, CIVLConfiguration, LibraryExecutorLoader, LibraryEvaluatorLoader)24100%n/a010301
executeProcScope(State, int, String, Expression[], SymbolicExpression[], CIVLSource)21100%n/a010401