LibmpiExecutor

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total664 of 6640%40 of 400%33331241241010
executeMpiCheckBuffer(State, int, String, Expression[], SymbolicExpression[], CIVLSource)2830%240%1313484811
executeValue(State, int, String, CIVLSource, String, Expression[], SymbolicExpression[])840%80%88181811
getVariableWTDynamicScoping(State, int, String, String)580%80%55151511
executeNewGcomm(State, int, String, Expression[], SymbolicExpression[], CIVLSource)520%n/a11101011
executeRootScopeSystem(State, int, String, Expression[], SymbolicExpression[], CIVLSource)450%n/a119911
executeGetGcomm(State, int, String, Expression[], SymbolicExpression[], CIVLSource)390%n/a118811
executeSetStatus(State, int, Expression[], SymbolicExpression[])310%n/a115511
executeGetStatus(State, int)250%n/a114411
LibmpiExecutor(String, Executor, ModelFactory, SymbolicUtility, SymbolicAnalyzer, CIVLConfiguration, LibraryExecutorLoader, LibraryEvaluatorLoader)240%n/a113311
executeProcScopeSystem(State, int, String, Expression[], SymbolicExpression[], CIVLSource)230%n/a114411