LCOV - code coverage report
Current view:
top level
-
pbes/include/mcrl2/pbes
- lps2pbes.h
(
source
/ functions)
Hit
Total
Coverage
Test:
mcrl2_coverage.info.cleaned
Lines:
74
86
86.0 %
Date:
2024-05-01 03:37:31
Functions:
7
8
87.5 %
Legend:
Lines:
hit
not hit
Function Name
Hit count
_ZN5mcrl211pbes_system8lps2pbesERKNS_3lps24stochastic_specificationERKNS_14state_formulas27state_formula_specificationEbbbbbb
0
_ZN5mcrl211pbes_system18lps2pbes_algorithm3runINS0_6detail35lps2pbes_counter_example_parametersEEEvRKNS_14state_formulas13state_formulaEbbRSt6vectorINS0_13pbes_equationESaISA_EERT_
1
_ZN5mcrl211pbes_system8lps2pbesERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES8_bbbbbb
1
_ZN5mcrl211pbes_system8lps2pbesERKNS_3lps13specificationERKNS_14state_formulas13state_formulaEbbbbbb
106
_ZN5mcrl211pbes_system18lps2pbes_algorithm3runINS0_6detail19lps2pbes_parametersEEEvRKNS_14state_formulas13state_formulaEbbRSt6vectorINS0_13pbes_equationESaISA_EERT_
136
_ZN5mcrl211pbes_system18lps2pbes_algorithm3runERKNS_14state_formulas13state_formulaERKNS_3lps24stochastic_specificationEbbbbRKNS_4data8variableE
137
_ZN5mcrl211pbes_system18lps2pbes_algorithmC2Eb
137
_ZN5mcrl211pbes_system8lps2pbesERKNS_3lps24stochastic_specificationERKNS_14state_formulas13state_formulaEbbbbbb
137
Generated by:
LCOV version 1.14