LCOV - code coverage report

Current view: top level - pbes/source - io.cpp (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 127 160 79.4 % Date: 2024-04-26 03:18:02 Functions: 13 15 86.7 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl211pbes_system6detail9load_pbesERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	0
_ZN5mcrl211pbes_system6detail9save_pbesERKNS0_4pbesERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	0
_ZN5mcrl211pbes_systemlsERN7atermpp13aterm_ostreamERKNS0_4pbesE	3
_ZN5mcrl211pbes_system9save_pbesERKNS0_4pbesERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEENS_9utilities11file_formatEb	4
_ZN5mcrl211pbes_system9save_pbesERKNS0_4pbesERSoNS_9utilities11file_formatE	4
_ZN5mcrl211pbes_systemrsERN7atermpp13aterm_istreamERNS0_4pbesE	4
_ZN5mcrl211pbes_system9load_pbesERNS0_4pbesERSiNS_9utilities11file_formatERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	6
_ZN5mcrl211pbes_systemlsERN7atermpp13aterm_ostreamERKNS0_13pbes_equationE	6
_ZN5mcrl211pbes_system11pbes_markerEv	7
_ZN5mcrl211pbes_system9load_pbesERNS0_4pbesERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEENS_9utilities11file_formatE	7
_ZN5mcrl211pbes_systemrsERN7atermpp13aterm_istreamERNS0_13pbes_equationE	9
_ZN5mcrl211pbes_system17pbes_file_formatsEv	29
_ZN5mcrl211pbes_system13pbes_to_atermERKNS0_4pbesE	199
_ZN5mcrl211pbes_systemL14add_index_implERKN7atermpp9term_applINS1_5atermEEE	306
_ZN5mcrl211pbes_systemL17remove_index_implERKN7atermpp9term_applINS1_5atermEEE	352

Generated by: LCOV version 1.14