| findNextField(ASTStructType, CommonTree, Vector) |   | 16% | | 11% | 18 | 19 | 34 | 41 | 0 | 1 |
| processDerivativeExpr(CommonTree) | | 0% | | 0% | 5 | 5 | 21 | 21 | 1 | 1 |
| processPostfixExprSuffix(CommonTree, ASTExpressionIF) | | 71% | | 76% | 12 | 28 | 10 | 75 | 0 | 1 |
| processLoopStmt(CommonTree, ASTLoopInvariant) | | 60% | | 36% | 12 | 15 | 13 | 43 | 0 | 1 |
| findNextElement(ASTArrayType, CommonTree, Vector) | | 37% | | 27% | 11 | 14 | 23 | 37 | 0 | 1 |
| processDirectDeclarator(CommonTree, ASTTypeIF) | | 52% | | 47% | 9 | 17 | 23 | 47 | 0 | 1 |
| processUnaryExpr(CommonTree) | | 65% | | 67% | 6 | 13 | 10 | 39 | 0 | 1 |
| processAbstractDeclarator(CommonTree, ASTTypeIF) | | 29% | | 30% | 9 | 11 | 19 | 28 | 0 | 1 |
| processDeclaration(CommonTree) | | 76% | | 66% | 12 | 23 | 14 | 66 | 0 | 1 |
| processFunction(CommonTree) | | 82% | | 75% | 5 | 11 | 7 | 62 | 0 | 1 |
| processDeclarationBody(CommonTree, boolean, ASTVariableDeclaration.VariableCategory) | | 78% | | 83% | 6 | 22 | 9 | 67 | 0 | 1 |
| processDesignator(CommonTree, ASTTypeIF) | | 18% | | 17% | 3 | 4 | 12 | 16 | 0 | 1 |
| processAssignExpr(CommonTree) | | 61% | | 53% | 7 | 11 | 10 | 30 | 0 | 1 |
| processTypeSpecifier(CommonTree) | | 75% | | 82% | 4 | 12 | 6 | 40 | 0 | 1 |
| getGenericExpression(ASTTypeIF) | | 33% | | 50% | 8 | 9 | 8 | 18 | 0 | 1 |
| processPrimaryExpr(CommonTree) | | 77% | | 83% | 4 | 16 | 6 | 34 | 0 | 1 |
| processInclude(CommonTree) | | 76% | | 67% | 9 | 16 | 7 | 37 | 0 | 1 |
| processPartialList(CommonTree) | | 0% | | 0% | 3 | 3 | 7 | 7 | 1 | 1 |
| processSpecExpr(CommonTree) | | 67% | | 58% | 4 | 7 | 3 | 17 | 0 | 1 |
| processDesignatorList(CommonTree, ASTTypeIF) | | 72% | | 72% | 5 | 10 | 4 | 24 | 0 | 1 |
| reportSyntaxException(String, int, int) | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| processInitializer(CommonTree, ASTTypeIF) | | 90% | | 85% | 6 | 24 | 5 | 57 | 0 | 1 |
| processQuantifierExpr(CommonTree) | | 37% | | 33% | 3 | 4 | 5 | 8 | 0 | 1 |
| processLiteralExpr(CommonTree) | | 89% | | 86% | 2 | 11 | 2 | 44 | 0 | 1 |
| processRelationalExpr(CommonTree) | | 85% | | 81% | 3 | 9 | 2 | 30 | 0 | 1 |
| processEqualityExpr(CommonTree) | | 81% | | 80% | 2 | 6 | 2 | 22 | 0 | 1 |
| extractSource(Source) | | 83% | | 81% | 2 | 9 | 10 | 37 | 0 | 1 |
| processMultiplicativeExpr(CommonTree) | | 84% | | 92% | 1 | 7 | 1 | 24 | 0 | 1 |
| processAdditiveExpr(CommonTree) | | 83% | | 90% | 1 | 6 | 1 | 22 | 0 | 1 |
| processEvaluatedFunctionExpr(CommonTree) | | 75% | | 50% | 4 | 5 | 2 | 15 | 0 | 1 |
| processStatement(CommonTree) | | 81% | | 95% | 1 | 20 | 2 | 24 | 0 | 1 |
| processSimpleType(CommonTree) | | 71% | | 92% | 1 | 7 | 2 | 13 | 0 | 1 |
| prepareFile(String) | | 77% | | 100% | 0 | 2 | 2 | 16 | 0 | 1 |
| processAST() | | 94% | | 87% | 4 | 16 | 2 | 47 | 0 | 1 |
| processCallStmt(CommonTree) | | 88% | | 75% | 3 | 7 | 3 | 27 | 0 | 1 |
| processLoopInvariant(CommonTree) | | 87% | | 75% | 1 | 3 | 2 | 23 | 0 | 1 |
| processAbstractFunction(CommonTree) | | 85% | | 67% | 2 | 4 | 2 | 20 | 0 | 1 |
| processDeclaratorSuffix(CommonTree, ASTTypeIF, boolean) | | 71% | | 67% | 2 | 4 | 2 | 12 | 0 | 1 |
| processFunctionBody(CommonTree, ASTDeclarationIF[]) | | 87% | | 90% | 1 | 6 | 1 | 13 | 0 | 1 |
| processExprStmt(CommonTree) | | 91% | | 83% | 1 | 4 | 1 | 16 | 0 | 1 |
| processRecvStmt(CommonTree) | | 89% | | 75% | 1 | 3 | 1 | 16 | 0 | 1 |
| processSendStmt(CommonTree) | | 86% | | 50% | 1 | 2 | 1 | 13 | 0 | 1 |
| processQuantifierExpr(CommonTree, ASTQuantifierExpression.QuantifierKind) | | 94% | | 83% | 1 | 4 | 1 | 25 | 0 | 1 |
| processDirectAbstractDeclarator(CommonTree, ASTTypeIF) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| processDefine(CommonTree) | | 89% | | 50% | 4 | 5 | 0 | 9 | 0 | 1 |
| processReturnStmt(CommonTree) | | 88% | | 60% | 4 | 6 | 0 | 12 | 0 | 1 |
| processExpr(CommonTree) | | 78% | | 75% | 1 | 3 | 1 | 5 | 0 | 1 |
| processAssertStmt(CommonTree) | | 92% | | 75% | 1 | 3 | 1 | 15 | 0 | 1 |
| processInvariantStmt(CommonTree) | | 89% | | 50% | 1 | 2 | 1 | 12 | 0 | 1 |
| processCollectiveAssertStmt(CommonTree) | | 89% | | 50% | 1 | 2 | 1 | 12 | 0 | 1 |
| processLogicalOrExpr(CommonTree) | | 98% | | 83% | 1 | 4 | 1 | 14 | 0 | 1 |
| processJointInvariantStmt(CommonTree) | | 93% | | 75% | 1 | 3 | 1 | 8 | 0 | 1 |
| processJointAssertStmt(CommonTree) | | 91% | | 75% | 1 | 3 | 1 | 7 | 0 | 1 |
| processCollectiveInvariantStmt(CommonTree) | | 87% | | 50% | 1 | 2 | 1 | 5 | 0 | 1 |
| static {...} | | 75% | | 50% | 1 | 2 | 0 | 1 | 0 | 1 |
| addSystemDeclaration(ASTDeclarationIF) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| processInitializerList(CommonTree, ASTTypeIF) | | 100% | | 94% | 1 | 9 | 0 | 22 | 0 | 1 |
| TreeParser(RunConfiguration, AST) | | 100% | | n/a | 0 | 1 | 0 | 28 | 0 | 1 |
| TreeParser(VerifyConfiguration) | | 100% | | n/a | 0 | 1 | 0 | 27 | 0 | 1 |
| processLogicalAndExpr(CommonTree) | | 100% | | 100% | 0 | 4 | 0 | 14 | 0 | 1 |
| checkReturn(ASTFunctionDeclaration, CommonTree) | | 100% | | 100% | 0 | 3 | 0 | 17 | 0 | 1 |
| processIfThenElseExpr(CommonTree) | | 100% | | 100% | 0 | 2 | 0 | 10 | 0 | 1 |
| processArgument(CommonTree, int) | | 100% | | n/a | 0 | 1 | 0 | 10 | 0 | 1 |
| processConditionStmt(CommonTree) | | 100% | | 100% | 0 | 2 | 0 | 12 | 0 | 1 |
| processPostfixExpr(CommonTree) | | 100% | | 100% | 0 | 2 | 0 | 10 | 0 | 1 |
| processAllocateStmt(CommonTree) | | 100% | | n/a | 0 | 1 | 0 | 10 | 0 | 1 |
| processCompoundStmt(CommonTree) | | 100% | | 100% | 0 | 2 | 0 | 11 | 0 | 1 |
| processSelectStmt(CommonTree) | | 100% | | 100% | 0 | 2 | 0 | 10 | 0 | 1 |
| processCommunicationExpr(CommonTree) | | 100% | | 100% | 0 | 2 | 0 | 10 | 0 | 1 |
| processSelection(CommonTree) | | 100% | | n/a | 0 | 1 | 0 | 7 | 0 | 1 |
| processDeclarator(CommonTree, ASTTypeIF) | | 100% | | 100% | 0 | 3 | 0 | 6 | 0 | 1 |
| TreeParser(String, RunConfiguration, AST) | | 100% | | 100% | 0 | 2 | 0 | 6 | 0 | 1 |
| processArgumentList(CommonTree) | | 100% | | 100% | 0 | 2 | 0 | 6 | 0 | 1 |
| processAssumeStmt(CommonTree) | | 100% | | n/a | 0 | 1 | 0 | 7 | 0 | 1 |
| processDesignation(CommonTree, ASTTypeIF) | | 100% | | 100% | 0 | 3 | 0 | 7 | 0 | 1 |
| processIterativeStmt(CommonTree) | | 100% | | 100% | 0 | 3 | 0 | 6 | 0 | 1 |
| getSourcePos(CommonTree, CommonTree) | | 100% | | n/a | 0 | 1 | 0 | 8 | 0 | 1 |
| findLastLineAndColumn(CommonTree) | | 100% | | 100% | 0 | 2 | 0 | 6 | 0 | 1 |
| processStmtList(CommonTree) | | 100% | | 100% | 0 | 2 | 0 | 4 | 0 | 1 |
| processStatementList(CommonTree) | | 100% | | 100% | 0 | 2 | 0 | 4 | 0 | 1 |
| processParamList(CommonTree) | | 100% | | 100% | 0 | 2 | 0 | 4 | 0 | 1 |
| processTypeName(CommonTree) | | 100% | | 100% | 0 | 2 | 0 | 4 | 0 | 1 |
| processID(CommonTree) | | 100% | | n/a | 0 | 1 | 0 | 5 | 0 | 1 |
| processFieldDeclaration(CommonTree) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| processDeclarationList(CommonTree) | | 100% | | 100% | 0 | 2 | 0 | 3 | 0 | 1 |
| processAST(File) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| processParameter(CommonTree) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| processEmptyStmt(CommonTree) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |