PragmaParser

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total1,142 of 2,08545%145 of 22335%101156213427639
processUnary(Tree)186168%3026%1617364001
processQuantifier(Tree)1110%70%55252511
processLiteral(Tree)1044832%7112%67162601
processPrefix(CommonTree, PragmaNodeIF)970%100%66212111
processAssignment(Tree)911010%1317%78182001
processMultiplicative(Tree)831616%12214%78162001
parsePragma(PragmaNodeIF)697753%19932%1215133401
processPostfixSuffix(ExpressionNodeIF, Tree)441221%5117%3491301
processLogicalOr(Tree)411223%5117%3481101
processRelational(Tree)376162%8643%6882001
processAll(ASTNodeIF)312242%3562%2551201
prepareTree(String)303352%1150%1231201
processConditional(Tree)291229%1150%125801
processStatement(CommonTree)273758%1788%1811001
processAdditive(Tree)227076%3770%3631501
processPrimary(Tree)206677%3770%3631601
processEquality(Tree)196377%4660%3641601
processAssert(CommonTree)182457%1150%122801
processExpression(Tree)181240%3125%233501
processLogicalAnd(Tree)177882%3975%3731701
processType(String)151448%3350%343701
PragmaParser(boolean)140%n/a115511
processAbstractFunctionDeclaration(CommonTree)65991%1375%1311301
processInvariant(CommonTree)52583%1150%121701
static {...}2675%1150%120101
processDerivative(Tree)20%n/a111111
processEvaluatedFunction(Tree)20%n/a111111
name()20%n/a111111
processCollectiveAssert(CommonTree)30100%n/a010701
processJointAssert(CommonTree)30100%n/a010701
processPostfix(Tree)27100%2100%020601
transform(AbstractSyntaxTreeIF)16100%n/a010501
processAssume(CommonTree)16100%n/a010401
PragmaParser(AbstractSyntaxTreeIF)14100%n/a010501
PragmaParser()11100%n/a010401
processCollectiveInvariant(CommonTree)11100%n/a010301
processJointInvariant(CommonTree)11100%n/a010301
processFormals(CommonTree)2100%n/a010101
processSpecExpression(Tree)2100%n/a010101