LCOV - code coverage report

Current view: top level - data/include/mcrl2/data - standard_utility.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 39 53 73.6 % Date: 2024-05-01 03:37:31 Functions: 12 14 85.7 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl24data4lazy3if_ERKNS0_15data_expressionES4_S4_	0
_ZN5mcrl24data4lazy7impliesERKNS0_15data_expressionES4_	0
_ZN5mcrl24data4lazy8join_andISt23_Rb_tree_const_iteratorINS0_15data_expressionEEEES4_T_S6_	11
_ZN5mcrl24data4lazy8join_andIN7atermpp18term_list_iteratorINS0_15data_expressionEEEEES5_T_S7_	15
_ZN5mcrl24data4lazy7join_orIN9__gnu_cxx17__normal_iteratorIPNS0_15data_expressionESt6vectorIS5_SaIS5_EEEEEES5_T_SB_	52
_ZN5mcrl24data4lazy8equal_toERKNS0_15data_expressionES4_	323
_ZN5mcrl24data4lazy7join_orISt23_Rb_tree_const_iteratorINS0_15data_expressionEEEES4_T_S6_	679
_ZN5mcrl24data4lazy8join_andIN9__gnu_cxx17__normal_iteratorIPNS0_15data_expressionESt6vectorIS5_SaIS5_EEEEEES5_T_SB_	689
_ZN5mcrl24data9sort_bool19is_boolean_constantERKNS0_15data_expressionE	5056
_ZN5mcrl24data4lazy3or_ERKNS0_15data_expressionES4_	7418
_ZN5mcrl24data9sort_bool5bool_Eb	11903
_ZN5mcrl24data4lazy4not_ERKNS0_15data_expressionE	14507
_ZN5mcrl24data4lazy4and_ERKNS0_15data_expressionES4_	90698
_ZN5mcrl24data17is_system_definedERKNS0_15sort_expressionE	182388

Generated by: LCOV version 1.14