| transformTargetFunction(FunctionDefinitionNode, ContractTransformerWorker.FunctionContractTransformGuide, boolean) |   | 68% | | 58% | 5 | 7 | 20 | 68 | 0 | 1 |
| createMPIInitCall() | | 0% | | n/a | 1 | 1 | 13 | 13 | 1 | 1 |
| transformCalleeFunction(FunctionDeclarationNode, FunctionTypeNode, ContractTransformerWorker.FunctionContractTransformGuide) | | 81% | | 50% | 4 | 5 | 7 | 52 | 0 | 1 |
| extractContractedFunctionsFromSourceFileNodes(List) | | 75% | | 40% | 14 | 16 | 5 | 29 | 0 | 1 |
| createVariableDeclsAndInitsForDriver(FunctionTypeNode) | | 62% | | 50% | 2 | 4 | 7 | 20 | 0 | 1 |
| havocForGlobalVariables(List) | | 45% | | 75% | 1 | 3 | 6 | 11 | 0 | 1 |
| createMPIFinalizeCall() | | 0% | | n/a | 1 | 1 | 5 | 5 | 1 | 1 |
| findMPIAndNodesofSourceFiles(SequenceNode, List) | | 79% | | 55% | 7 | 11 | 4 | 21 | 0 | 1 |
| mainFunction(boolean) | | 93% | | 83% | 1 | 4 | 3 | 45 | 0 | 1 |
| transformCore(AST) | | 89% | | 62% | 2 | 5 | 3 | 31 | 0 | 1 |
| decast(ExpressionNode) | | 0% | | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
| typeNode(Type, Source) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| analysisContractedFunctions(ContractTransformerWorker.SourceFileWithContractedFunctions, List) | | 98% | | 75% | 4 | 9 | 0 | 31 | 0 | 1 |
| processContractedFunctions(List, List, boolean) | | 100% | | 87% | 1 | 5 | 0 | 27 | 0 | 1 |
| ContractTransformerWorker(ASTFactory, String, CIVLConfiguration) | | 100% | | n/a | 0 | 1 | 0 | 10 | 0 | 1 |
| createHavocCall(ExpressionNode, NodeFactory) | | 100% | | n/a | 0 | 1 | 0 | 7 | 0 | 1 |
| static {...} | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |