TreeParser

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total2,243 of 9,38876%273 of 86068%2165323111,636588
findNextField(ASTStructType, CommonTree, Vector)1633216%32411%1819344101
processDerivativeExpr(CommonTree)1390%80%55212111
processPostfixExprSuffix(CommonTree, ASTExpressionIF)13634171%134176%1228107501
processLoopStmt(CommonTree, ASTLoopInvariant)12017960%181036%1215134301
findNextElement(ASTArrayType, CommonTree, Vector)1166737%19727%1114233701
processDirectDeclarator(CommonTree, ASTTypeIF)10611352%171547%917234701
processUnaryExpr(CommonTree)9417665%81667%613103901
processAbstractDeclarator(CommonTree, ASTTypeIF)933829%14630%911192801
processDeclaration(CommonTree)9129476%152966%1223146601
processFunction(CommonTree)8839282%51575%51176201
processDeclarationBody(CommonTree, boolean, ASTVariableDeclaration.VariableCategory)7827278%73583%62296701
processDesignator(CommonTree, ASTTypeIF)751718%5117%34121601
processAssignExpr(CommonTree)6510261%7853%711103001
processTypeSpecifier(CommonTree)5917475%41882%41264001
getGenericExpression(ASTTypeIF)572833%8850%8981801
processPrimaryExpr(CommonTree)5618577%52583%41663401
processInclude(CommonTree)5618076%102067%91673701
processPartialList(CommonTree)510%40%337711
processSpecExpr(CommonTree)438767%5758%4731701
processDesignatorList(CommonTree, ASTTypeIF)3910172%51372%51042401
reportSyntaxException(String, int, int)350%n/a113311
processInitializer(CommonTree, ASTTypeIF)3126690%73985%62455701
processQuantifierExpr(CommonTree)291737%4233%345801
processLiteralExpr(CommonTree)2721789%21286%21124401
processRelationalExpr(CommonTree)2413985%31381%3923001
processEqualityExpr(CommonTree)2410581%2880%2622201
extractSource(Source)2311083%31381%29103701
processMultiplicativeExpr(CommonTree)2211484%11192%1712401
processAdditiveExpr(CommonTree)2210783%1990%1612201
processEvaluatedFunctionExpr(CommonTree)226675%4450%4521501
processStatement(CommonTree)218981%12095%12022401
processSimpleType(CommonTree)204971%11192%1721301
prepareFile(String)175877%2100%0221601
processAST()1623294%42687%41624701
processCallStmt(CommonTree)1611388%3975%3732701
processLoopInvariant(CommonTree)1610987%1375%1322301
processAbstractFunction(CommonTree)169285%2467%2422001
processDeclaratorSuffix(CommonTree, ASTTypeIF, boolean)164071%2467%2421201
processFunctionBody(CommonTree, ASTDeclarationIF[])149487%1990%1611301
processExprStmt(CommonTree)1111091%1583%1411601
processRecvStmt(CommonTree)118689%1375%1311601
processSendStmt(CommonTree)116586%1150%1211301
processQuantifierExpr(CommonTree, ASTQuantifierExpression.QuantifierKind)914094%1583%1412501
processDirectAbstractDeclarator(CommonTree, ASTTypeIF)90%n/a111111
processDefine(CommonTree)86489%4450%450901
processReturnStmt(CommonTree)86088%4660%4601201
processExpr(CommonTree)82878%1375%131501
processAssertStmt(CommonTree)77692%1375%1311501
processInvariantStmt(CommonTree)75889%1150%1211201
processCollectiveAssertStmt(CommonTree)75889%1150%1211201
processLogicalOrExpr(CommonTree)8098%1583%1411401
processJointInvariantStmt(CommonTree)2593%1375%131801
processJointAssertStmt(CommonTree)2191%1375%131701
processCollectiveInvariantStmt(CommonTree)1387%1150%121501
static {...}675%1150%120101
addSystemDeclaration(ASTDeclarationIF)0%n/a111111
processInitializerList(CommonTree, ASTTypeIF)137100%11594%1902201
TreeParser(RunConfiguration, AST)87100%n/a0102801
TreeParser(VerifyConfiguration)84100%n/a0102701
processLogicalAndExpr(CommonTree)82100%6100%0401401
checkReturn(ASTFunctionDeclaration, CommonTree)79100%4100%0301701
processIfThenElseExpr(CommonTree)69100%2100%0201001
processArgument(CommonTree, int)65100%n/a0101001
processConditionStmt(CommonTree)64100%2100%0201201
processPostfixExpr(CommonTree)59100%2100%0201001
processAllocateStmt(CommonTree)57100%n/a0101001
processCompoundStmt(CommonTree)55100%2100%0201101
processSelectStmt(CommonTree)55100%2100%0201001
processCommunicationExpr(CommonTree)55100%2100%0201001
processSelection(CommonTree)46100%n/a010701
processDeclarator(CommonTree, ASTTypeIF)42100%4100%030601
TreeParser(String, RunConfiguration, AST)41100%2100%020601
processArgumentList(CommonTree)40100%2100%020601
processAssumeStmt(CommonTree)39100%n/a010701
processDesignation(CommonTree, ASTTypeIF)38100%4100%030701
processIterativeStmt(CommonTree)36100%4100%030601
getSourcePos(CommonTree, CommonTree)31100%n/a010801
findLastLineAndColumn(CommonTree)28100%2100%020601
processStmtList(CommonTree)24100%2100%020401
processStatementList(CommonTree)24100%2100%020401
processParamList(CommonTree)24100%2100%020401
processTypeName(CommonTree)23100%2100%020401
processID(CommonTree)20100%n/a010501
processFieldDeclaration(CommonTree)19100%n/a010301
processDeclarationList(CommonTree)16100%2100%020301
processAST(File)9100%n/a010301
processParameter(CommonTree)8100%n/a010101
processEmptyStmt(CommonTree)4100%n/a010101