LCOV - mcrl2_coverage.info.cleaned - modal_formula/include/mcrl2/modal_formula/parse.h

LCOV - code coverage report

Current view:	top level - modal_formula/include/mcrl2/modal_formula - parse.h (source / functions)		Hit	Total	Coverage
Test:	mcrl2_coverage.info.cleaned	Lines:	37	58	63.8 %
Date:	2024-05-01 03:37:31	Functions:	5	8	62.5 %
Legend:	Lines: hit not hit


Function Name	Hit count
_ZN5mcrl214state_formulas33parse_state_formula_specificationERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERNS_3lps24stochastic_specificationEbNS0_27parse_state_formula_optionsE	0
_ZN5mcrl214state_formulas33parse_state_formula_specificationERSiRNS_3lps24stochastic_specificationEbNS0_27parse_state_formula_optionsE	0
_ZN5mcrl214state_formulas33parse_state_formula_specificationERSibNS0_27parse_state_formula_optionsE	0
_ZN5mcrl214state_formulas19parse_state_formulaERSiRNS_3lps24stochastic_specificationEbNS0_27parse_state_formula_optionsE	2
_ZN5mcrl214state_formulas33parse_state_formula_specificationERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEbNS0_27parse_state_formula_optionsE	5
_ZN5mcrl214state_formulas19parse_state_formulaERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERNS_3lps13specificationEbNS0_27parse_state_formula_optionsE	139
_ZN5mcrl214state_formulas19parse_state_formulaERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERNS_3lps24stochastic_specificationEbNS0_27parse_state_formula_optionsE	174
_ZN5mcrl214state_formulas26post_process_state_formulaERKNS0_13state_formulaENS0_27parse_state_formula_optionsE	178