LCOV - code coverage report
Current view:
top level
-
pbes/include/mcrl2/pbes/detail
- pbes_parameter_map.h
(
source
/ functions)
Hit
Total
Coverage
Test:
mcrl2_coverage.info.cleaned
Lines:
56
67
83.6 %
Date:
2024-05-04 03:44:52
Functions:
3
4
75.0 %
Legend:
Lines:
hit
not hit
Function Name
Hit count
_ZZN5mcrl211pbes_system6detail24parse_pbes_parameter_mapERKNS0_4pbesERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEENKUlRKNS_4data8variableESG_E_clESG_SG_
0
_ZN5mcrl211pbes_system6detail24find_matching_parametersERKNS0_4pbesERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKSt3setISA_St4lessISA_ESaISA_EE
5
_ZN5mcrl211pbes_system6detail24parse_pbes_parameter_mapERKNS0_4pbesERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE
5
_ZN5mcrl211pbes_system6detail17match_declarationERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKNS_4data8variableERKNSA_18data_specificationE
7
Generated by:
LCOV version 1.14