LCOV - code coverage report
Current view: top level - data/source - data_io.cpp (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 42 44 95.5 %
Date: 2024-04-17 03:40:49 Functions: 5 5 100.0 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZN5mcrl24datalsERN7atermpp13aterm_ostreamERKNS0_18data_specificationE 69
_ZN5mcrl24datarsERN7atermpp13aterm_istreamERNS0_18data_specificationE 72
_ZN5mcrl24data6detail27data_specification_to_atermERKNS0_18data_specificationE 344
_ZL14add_index_implRKN7atermpp9term_applINS_5atermEEE 832
_ZL17remove_index_implRKN7atermpp9term_applINS_5atermEEE 2233

Generated by: LCOV version 1.14