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
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