ContractTranslator

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total198 of 64869%21 of 5864%19392111809
translateFunctionCallExpression(FunctionCallNode, Scope)786244%13838%111292001
mergeSingleKindContracts(List, CIVLTypeFactory, ModelFactory)748654%2880%2693201
transformContractCall(CIVLFunction, Scope, FunctionCallNode, CIVLSource)147684%2467%2401401
mergeContracts(List, CIVLTypeFactory, ModelFactory, CIVLFunction)137685%1990%1611501
translateContractNode(ContractNode)133774%1267%1311101
translateResultNode(ResultNode, Scope)44492%1150%1211001
static {...}2675%1150%120101
translateContractExpressionNode(ExpressionNode, Scope, CIVLSource, ContractClauseExpression.ContractKind)45100%4100%030901
ContractTranslator(ModelBuilderWorker, ModelFactory, CIVLTypeFactory, CIVLFunction)18100%n/a010601