LCOV - code coverage report
Current view: top level - modal_formula/source - modal_formula.cpp (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 32 109 29.4 %
Date: 2024-03-08 02:52:28 Functions: 12 65 18.5 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZN5mcrl214state_formulas10algorithms13is_monotonousERKNS0_13state_formulaE 0
_ZN5mcrl214state_formulas10algorithms13is_normalizedERKNS0_13state_formulaE 0
_ZN5mcrl214state_formulas10algorithms19parse_state_formulaERSiRNS_3lps24stochastic_specificationEb 0
_ZN5mcrl214state_formulas10algorithms25find_state_variable_namesERKNS0_13state_formulaE 0
_ZN5mcrl214state_formulas10algorithms33parse_state_formula_specificationERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERNS_3lps24stochastic_specificationEb 0
_ZN5mcrl214state_formulas10algorithms33parse_state_formula_specificationERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEb 0
_ZN5mcrl214state_formulas10algorithms33parse_state_formula_specificationERSiRNS_3lps24stochastic_specificationEb 0
_ZN5mcrl214state_formulas10algorithms33parse_state_formula_specificationERSib 0
_ZN5mcrl214state_formulas10algorithms9normalizeERKNS0_13state_formulaEbb 0
_ZN5mcrl214state_formulas18find_action_labelsERKNS0_13state_formulaE 0
_ZN5mcrl214state_formulas2ppB5cxx11ERKNS0_11delay_timedE 0
_ZN5mcrl214state_formulas2ppB5cxx11ERKNS0_11yaled_timedE 0
_ZN5mcrl214state_formulas2ppB5cxx11ERKNS0_14const_multiplyE 0
_ZN5mcrl214state_formulas2ppB5cxx11ERKNS0_18const_multiply_altE 0
_ZN5mcrl214state_formulas2ppB5cxx11ERKNS0_2muE 0
_ZN5mcrl214state_formulas2ppB5cxx11ERKNS0_2nuE 0
_ZN5mcrl214state_formulas2ppB5cxx11ERKNS0_3impE 0
_ZN5mcrl214state_formulas2ppB5cxx11ERKNS0_3mayE 0
_ZN5mcrl214state_formulas2ppB5cxx11ERKNS0_3or_E 0
_ZN5mcrl214state_formulas2ppB5cxx11ERKNS0_4and_E 0
_ZN5mcrl214state_formulas2ppB5cxx11ERKNS0_4mustE 0
_ZN5mcrl214state_formulas2ppB5cxx11ERKNS0_4not_E 0
_ZN5mcrl214state_formulas2ppB5cxx11ERKNS0_4plusE 0
_ZN5mcrl214state_formulas2ppB5cxx11ERKNS0_5delayE 0
_ZN5mcrl214state_formulas2ppB5cxx11ERKNS0_5minusE 0
_ZN5mcrl214state_formulas2ppB5cxx11ERKNS0_5true_E 0
_ZN5mcrl214state_formulas2ppB5cxx11ERKNS0_5yaledE 0
_ZN5mcrl214state_formulas2ppB5cxx11ERKNS0_6existsE 0
_ZN5mcrl214state_formulas2ppB5cxx11ERKNS0_6false_E 0
_ZN5mcrl214state_formulas2ppB5cxx11ERKNS0_6forallE 0
_ZN5mcrl214state_formulas2ppB5cxx11ERKNS0_7infimumE 0
_ZN5mcrl214state_formulas2ppB5cxx11ERKNS0_8supremumE 0
_ZN5mcrl214state_formulas2ppB5cxx11ERKNS0_8variableE 0
_ZN5mcrl215action_formulas18find_all_variablesERKNS0_14action_formulaE 0
_ZN5mcrl215action_formulas2ppB5cxx11ERKNS0_12multi_actionE 0
_ZN5mcrl215action_formulas2ppB5cxx11ERKNS0_14action_formulaE 0
_ZN5mcrl215action_formulas2ppB5cxx11ERKNS0_2atE 0
_ZN5mcrl215action_formulas2ppB5cxx11ERKNS0_3impE 0
_ZN5mcrl215action_formulas2ppB5cxx11ERKNS0_3or_E 0
_ZN5mcrl215action_formulas2ppB5cxx11ERKNS0_4and_E 0
_ZN5mcrl215action_formulas2ppB5cxx11ERKNS0_4not_E 0
_ZN5mcrl215action_formulas2ppB5cxx11ERKNS0_5true_E 0
_ZN5mcrl215action_formulas2ppB5cxx11ERKNS0_6existsE 0
_ZN5mcrl215action_formulas2ppB5cxx11ERKNS0_6false_E 0
_ZN5mcrl215action_formulas2ppB5cxx11ERKNS0_6forallE 0
_ZN5mcrl215action_formulas6detail20parse_action_formulaERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE 0
_ZN5mcrl216regular_formulas2ppB5cxx11ERKNS0_12trans_or_nilE 0
_ZN5mcrl216regular_formulas2ppB5cxx11ERKNS0_15regular_formulaE 0
_ZN5mcrl216regular_formulas2ppB5cxx11ERKNS0_23untyped_regular_formulaE 0
_ZN5mcrl216regular_formulas2ppB5cxx11ERKNS0_3altE 0
_ZN5mcrl216regular_formulas2ppB5cxx11ERKNS0_3seqE 0
_ZN5mcrl216regular_formulas2ppB5cxx11ERKNS0_5transE 0
_ZN5mcrl216regular_formulas6detail21parse_regular_formulaERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE 0
_ZN5mcrl214state_formulas10algorithms19parse_state_formulaERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERNS_3lps24stochastic_specificationEb 1
_ZN5mcrl214state_formulas18find_all_variablesERKNS0_13state_formulaE 1
_ZN5mcrl214state_formulas19find_free_variablesERKNS0_13state_formulaE 1
_ZN5mcrl214state_formulas2ppB5cxx11ERKNS0_27state_formula_specificationE 3
_ZN5mcrl214state_formulas6detail33parse_state_formula_specificationERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE 3
_ZN5mcrl214state_formulas2ppB5cxx11ERKNS0_13state_formulaE 137
_ZN5mcrl214state_formulas10algorithms8is_timedERKNS0_13state_formulaE 142
_ZN5mcrl214state_formulas21find_sort_expressionsERKNS0_13state_formulaE 171
_ZN5mcrl214state_formulas6detail19parse_state_formulaERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE 171
_ZN5mcrl214state_formulas23translate_user_notationERKNS0_13state_formulaE 173
_ZN5mcrl214state_formulas15normalize_sortsERKNS0_13state_formulaERKNS_4data18sort_specificationE 174
_ZN5mcrl214state_formulas16find_identifiersERKNS0_13state_formulaE 657

Generated by: LCOV version 1.14