LibmpiExecutor

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total429 of 57625%36 of 385%2429679348
executeMpiCheckBuffer(State, int, String, Expression[], SymbolicExpression[], CIVLSource)2830%240%1313414111
getVariableWTDynamicScoping(State, int, String, String)580%80%55121211
executeValue(State, int, String, CIVLSource, String, Expression[], SymbolicExpression[])323250%4233%4671401
executeSetStatus(State, int, Expression[], SymbolicExpression[])310%n/a114411
executeGetStatus(State, int)250%n/a113311
executeNewGcomm(State, int, String, Expression[], SymbolicExpression[], CIVLSource)52100%n/a010901
executeGetGcomm(State, int, String, Expression[], SymbolicExpression[], CIVLSource)39100%n/a010701
LibmpiExecutor(String, Executor, ModelFactory, SymbolicUtility, SymbolicAnalyzer, CIVLConfiguration, LibraryExecutorLoader, LibraryEvaluatorLoader)24100%n/a010301