LCOV - code coverage report

Current view: top level - atermpp/source - aterm_io_binary.cpp (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 129 134 96.3 % Date: 2024-04-26 03:18:02 Functions: 15 17 88.2 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN7atermpp20binary_aterm_ostreamD0Ev	0
_ZNK7atermpp10write_todo4markERSt5stackISt17reference_wrapperINS_6detail6_atermEESt5dequeIS5_SaIS5_EEE	0
_ZN7atermpp27write_term_to_binary_streamERKNS_5atermERSo	6
_ZN7atermpp28read_term_from_binary_streamERSiRNS_5atermE	6
_ZN7atermpp20binary_aterm_ostreamC2ERSo	78
_ZN7atermpp20binary_aterm_ostreamC2ESt10shared_ptrIN5mcrl29utilities10obitstreamEE	78
_ZN7atermpp20binary_aterm_ostreamD2Ev	78
_ZN7atermpp20binary_aterm_istreamC2ERSi	82
_ZN7atermpp20binary_aterm_istreamC2ESt10shared_ptrIN5mcrl29utilities10ibitstreamEE	82
_ZN7atermpp20binary_aterm_ostream3putERKNS_5atermE	4918
_ZN7atermpp20binary_aterm_istream3getERNS_5atermE	5117
_ZN7atermpp20binary_aterm_ostream21write_function_symbolERKNS_15function_symbolE	8695
_ZN7atermpp20binary_aterm_ostream27function_symbol_index_widthEv	8773
_ZN7atermpp20binary_aterm_istream27function_symbol_index_widthEv	9411
_ZN7atermpp10write_todoC2ERKNS_5atermE	11003
_ZN7atermpp20binary_aterm_ostream16term_index_widthEv	14053
_ZN7atermpp20binary_aterm_istream16term_index_widthEv	15146

Generated by: LCOV version 1.14