MiniMPParser |   | 79% |   | 62% | 1,792 | 3,184 | 1,913 | 9,151 | 20 | 175 | 0 | 1 |
TreeParser |   | 76% |   | 68% | 216 | 532 | 311 | 1,636 | 5 | 88 | 0 | 1 |
MiniMPLexer |   | 72% |   | 53% | 245 | 498 | 464 | 1,524 | 16 | 106 | 0 | 1 |
MiniMPParser.DFA91 | | 27% | | 0% | 9 | 10 | 24 | 35 | 2 | 3 | 0 | 1 |
MiniMPParser.DFA90 | | 27% | | 0% | 9 | 10 | 24 | 35 | 2 | 3 | 0 | 1 |
MiniMPParser.DFA87 | | 27% | | 0% | 9 | 10 | 24 | 35 | 2 | 3 | 0 | 1 |
MiniMPParser.DFA88 | | 27% | | 0% | 9 | 10 | 24 | 35 | 2 | 3 | 0 | 1 |
MiniMPParser.DFA89 | | 53% | | 23% | 8 | 10 | 14 | 35 | 1 | 3 | 0 | 1 |
MiniMPParser.DFA86 | | 74% | | 46% | 7 | 10 | 7 | 35 | 1 | 3 | 0 | 1 |
NameTypePair | | 66% | | 50% | 2 | 5 | 2 | 10 | 0 | 3 | 0 | 1 |
MiniMPParser.partial_return | | 0% | | n/a | 2 | 2 | 2 | 2 | 2 | 2 | 1 | 1 |
MiniMPParser.program_name_return | | 0% | | n/a | 2 | 2 | 2 | 2 | 2 | 2 | 1 | 1 |
MiniMPParser.define_list_return | | 0% | | n/a | 2 | 2 | 2 | 2 | 2 | 2 | 1 | 1 |
MiniMPParser.list_return | | 0% | | n/a | 2 | 2 | 2 | 2 | 2 | 2 | 1 | 1 |
MiniMPParser.partial_list_return | | 0% | | n/a | 2 | 2 | 2 | 2 | 2 | 2 | 1 | 1 |
MiniMPParser.include_list_return | | 0% | | n/a | 2 | 2 | 2 | 2 | 2 | 2 | 1 | 1 |
MiniMPParser.derivative_expr_return | | 0% | | n/a | 2 | 2 | 2 | 2 | 2 | 2 | 1 | 1 |
MiniMPParser.direct_abstract_declarator_return | | 0% | | n/a | 2 | 2 | 2 | 2 | 2 | 2 | 1 | 1 |
MiniMPLexer.DFA36 | | 94% | | n/a | 1 | 2 | 1 | 12 | 1 | 2 | 0 | 1 |
MiniMPLexer.DFA19 | | 94% | | n/a | 1 | 2 | 1 | 12 | 1 | 2 | 0 | 1 |
MiniMPLexer.DFA26 | | 94% | | n/a | 1 | 2 | 1 | 12 | 1 | 2 | 0 | 1 |
MiniMPParser.declaration_list_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.argument_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.assign_operator_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.logical_or_expr_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.function_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.prefix_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.unary_operator_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.skew_factor_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.declarator_suffix_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.relational_expr_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.invariant_statement_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.correspondence_annotation_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.equality_operator_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.body_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.choice_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.empty_statement_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.expr_statement_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.evaluated_function_expr_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.declarator_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.define_directive_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.ifThenElse_expr_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.abstract_declarator_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.postfix_expr_suffix_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.collective_assert_statement_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.abstract_function_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.pointer_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.return_statement_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.spec_expr_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.quantifier_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.program_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.initializer_list_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.assume_statement_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.self_change_op_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.unary_expr_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.declaration_body_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.recv_statement_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.type_specifier_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.multi_operator_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.statement_list_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.joint_assert_statement_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.comm_expr_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.postfix_expr_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.primary_expr_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.wildcard_expr_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.relational_operator_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.declaration_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.equality_expr_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.loop_statement_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.constant_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.parameter_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.include_directive_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.simple_type_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.additive_operator_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.designator_list_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.iterative_statement_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.multi_expr_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.expr_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.compound_statement_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.designation_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.parameter_list_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.suffix_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.call_statement_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.additive_expr_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.argument_list_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.initializer_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.select_statement_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.quantifier_expr_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.designator_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.joint_invariant_statement_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.assign_expr_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.assert_statement_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.program_element_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.allocate_statement_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.condition_statement_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.collective_invariant_statement_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.logical_and_expr_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.field_declaration_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.type_name_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.direct_declarator_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.ignored_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.declaration_unit_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.send_statement_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |
MiniMPParser.statement_return | | 100% | | n/a | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 1 |