LCOV - code coverage report

Current view: top level - pbes/include/mcrl2/pbes/detail - pbes_property_map.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 75 77 97.4 % Date: 2024-04-26 03:18:02 Functions: 7 7 100.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl211pbes_system6detail17pbes_property_mapC2ERKNS0_4pbesE	23
_ZNK5mcrl211pbes_system6detail17pbes_property_map23compute_equation_countsERKNS0_4pbesE	23
_ZNK5mcrl211pbes_system6detail17pbes_property_map27compute_block_nesting_depthERKNS0_4pbesE	23
_ZN5mcrl211pbes_system6detail17pbes_property_mapC2ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	24
_ZNK5mcrl211pbes_system6detail17pbes_property_map7compareB5cxx11ERKS2_	24
_ZNK5mcrl211pbes_system6detail17pbes_property_map16compare_propertyERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESA_SA_	36
_ZNK5mcrl211pbes_system6detail17pbes_property_map5printB5cxx11ERKNS0_22propositional_variableE	77

Generated by: LCOV version 1.14