LCOV - code coverage report

Current view: top level - data/source - data_specification.cpp (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 434 459 94.6 % Date: 2024-04-21 03:44:01 Functions: 18 20 90.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl24data17finiteness_helper9is_finiteERKNS0_15structured_sortE	0
_ZZNK5mcrl24data18sort_specification32reconstruct_m_normalised_aliasesEvENKUlRKSt4pairINS0_15sort_expressionES3_EE0_clES6_	0
_ZNK5mcrl24data18data_specification50get_system_defined_sorts_constructors_and_mappingsERSt3setINS0_15sort_expressionESt4lessIS3_ESaIS3_EERS2_INS0_15function_symbolES4_IS9_ESaIS9_EESD_	1
_ZN5mcrl24data18data_specification16build_from_atermERKN7atermpp9term_applINS2_5atermEEE	3
_ZZNK5mcrl24data18sort_specification32reconstruct_m_normalised_aliasesEvENKUlRKSt4pairINS0_15sort_expressionES3_EE_clES6_	42
_ZN5mcrl24data17finiteness_helper9is_finiteERKNS0_14container_sortE	51
_ZN5mcrl24data18data_specificationC2ERKSt6vectorINS0_10basic_sortESaIS3_EERKS2_INS0_5aliasESaIS8_EERKS2_INS0_15function_symbolESaISD_EESH_RKS2_INS0_13data_equationESaISI_EE	72
_ZN5mcrl24data17finiteness_helper9is_finiteERKNS0_13function_sortE	80
_ZNK5mcrl24data18data_specification13is_well_typedEv	994
_ZN5mcrl24data17finiteness_helperC2ERKNS0_18data_specificationE	1169
_ZNK5mcrl24data18data_specification19is_certainly_finiteERKNS0_15sort_expressionE	1169
_ZN5mcrl24data17finiteness_helper13is_finite_auxERKNS0_15sort_expressionE	1991
_ZN5mcrl24data17finiteness_helper9is_finiteERKNS0_10basic_sortE	1991
_ZN5mcrl24data17finiteness_helper9is_finiteERKNS0_15sort_expressionE	2518
_ZNK5mcrl24data18sort_specification20check_for_alias_loopERKNS0_15sort_expressionESt3setIS2_St4lessIS2_ESaIS2_EEb	10081
_ZNK5mcrl24data18sort_specification32reconstruct_m_normalised_aliasesEv	11400
_ZN5mcrl24dataL16find_normal_formERKNS0_15sort_expressionERKSt8multimapIS1_S1_St4lessIS1_ESaISt4pairIS2_S1_EEESt3setIS1_S6_SaIS1_EE	17202
_ZN5mcrl24data18sort_specification26add_predefined_basic_sortsEv	30852
_ZNK5mcrl24data18data_specification52find_associated_system_defined_data_types_for_a_sortERKNS0_15sort_expressionERSt3setINS0_15function_symbolESt4lessIS6_ESaIS6_EESB_RS5_INS0_13data_equationES7_ISC_ESaISC_EERSt3mapIS6_St4pairISt8functionIFNS0_15data_expressionERKSK_EENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEES8_SaISI_IKS6_SV_EEEb	72141
_ZN5mcrl24data18sort_specification26import_system_defined_sortERKNS0_15sort_expressionE	142070

Generated by: LCOV version 1.14