LCOV - code coverage report

Current view: top level - modal_formula/include/mcrl2/modal_formula - parse_impl.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 93 104 89.4 % Date: 2024-05-01 03:37:31 Functions: 16 16 100.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZNK5mcrl214state_formulas6detail21state_formula_actions10make_yaledERKNS_4core10parse_nodeE	1
_ZNK5mcrl214state_formulas6detail21state_formula_actions10make_delayERKNS_4core10parse_nodeE	3
_ZN5mcrl214state_formulas6detail35untyped_state_formula_specification37construct_state_formula_specificationEv	5
_ZNK5mcrl214state_formulas6detail21state_formula_actions14parse_FormSpecERKNS_4core10parse_nodeE	5
_ZNK5mcrl214state_formulas6detail21state_formula_actions18parse_StateFrmSpecERKNS_4core10parse_nodeE	5
_ZNK5mcrl214state_formulas6detail21state_formula_actions24parse_StateVarAssignmentERKNS_4core10parse_nodeE	15
_ZZNK5mcrl214state_formulas6detail21state_formula_actions28parse_StateVarAssignmentListERKNS_4core10parse_nodeEENKUlS6_E_clES6_	15
_ZNK5mcrl214state_formulas6detail21state_formula_actions21callback_StateFrmSpecERKNS_4core10parse_nodeERNS1_35untyped_state_formula_specificationE	44
_ZZNK5mcrl214state_formulas6detail21state_formula_actions18parse_StateFrmSpecERKNS_4core10parse_nodeEENKUlS6_E_clES6_	44
_ZNK5mcrl214state_formulas6detail21state_formula_actions28parse_StateVarAssignmentListERKNS_4core10parse_nodeE	168
_ZN5mcrl214state_formulas6detail21state_formula_actionsC2ERKNS_4core6parserE	179
_ZN5mcrl215action_formulas6detail22action_formula_actionsC2ERKNS_4core6parserE	179
_ZN5mcrl216regular_formulas6detail23regular_formula_actionsC2ERKNS_4core6parserE	179
_ZNK5mcrl216regular_formulas6detail23regular_formula_actions12parse_RegFrmERKNS_4core10parse_nodeE	268
_ZNK5mcrl215action_formulas6detail22action_formula_actions12parse_ActFrmERKNS_4core10parse_nodeE	297
_ZNK5mcrl214state_formulas6detail21state_formula_actions14parse_StateFrmERKNS_4core10parse_nodeE	1033

Generated by: LCOV version 1.14