LCOV - code coverage report

Current view: top level - atermpp/include/mcrl2/atermpp - aterm_io.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 45 45 100.0 % Date: 2024-04-21 03:44:01 Functions: 34 40 85.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN7atermpp12aterm_stream15set_transformerEPFNS_9term_applINS_5atermEEERKS3_E	501
_ZN7atermpp18aterm_stream_stateC2ERNS_12aterm_streamE	219
_ZN7atermpp18aterm_stream_stateD2Ev	219
_ZN7atermpp20read_int_from_stringERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	2
_ZN7atermpp21read_appl_from_stringERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	29
_ZN7atermpp21read_list_from_stringERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	19
_ZN7atermpp8identityERKNS_9term_applINS_5atermEEE	423426
_ZN7atermpplsERNS_13aterm_ostreamEPFNS_9term_applINS_5atermEEERKS4_E	138
_ZN7atermpplsERNS_13aterm_ostreamERKNS_5atermE	17504
_ZN7atermpplsERSoRKNS_15function_symbolE	2
_ZN7atermpplsIN5mcrl211pbes_system4pbesEEERNS_13aterm_ostreamEOS4_RKT_	3
_ZN7atermpplsIN5mcrl211pres_system4presEEERNS_13aterm_ostreamEOS4_RKT_	0
_ZN7atermpplsIN5mcrl23lps13specificationEEERNS_13aterm_ostreamEOS4_RKT_	3
_ZN7atermpplsIN5mcrl23lps24stochastic_specificationEEERNS_13aterm_ostreamEOS4_RKT_	0
_ZN7atermpplsINS_5atermEEERNS_13aterm_ostreamEOS2_RKT_	12592
_ZN7atermpplsISt3setIN5mcrl24data8variableESt4lessIS4_ESaIS4_EELi0ELi0EEERNS_13aterm_ostreamESA_RKT_	6
_ZN7atermpplsISt6vectorIN5mcrl211pbes_system13pbes_equationESaIS4_EELi0ELi0EEERNS_13aterm_ostreamES8_RKT_	3
_ZN7atermpplsISt6vectorIN5mcrl211pres_system13pres_equationESaIS4_EELi0ELi0EEERNS_13aterm_ostreamES8_RKT_	0
_ZN7atermpplsISt6vectorIN5mcrl23lps16deadlock_summandESaIS4_EELi0ELi0EEERNS_13aterm_ostreamES8_RKT_	3
_ZN7atermpplsISt6vectorIN5mcrl23lps25stochastic_action_summandESaIS4_EELi0ELi0EEERNS_13aterm_ostreamES8_RKT_	3
_ZN7atermpplsISt6vectorIN5mcrl24data10basic_sortESaIS4_EELi0ELi0EEERNS_13aterm_ostreamES8_RKT_	69
_ZN7atermpplsISt6vectorIN5mcrl24data13data_equationESaIS4_EELi0ELi0EEERNS_13aterm_ostreamES8_RKT_	69
_ZN7atermpplsISt6vectorIN5mcrl24data15function_symbolESaIS4_EELi0ELi0EEERNS_13aterm_ostreamES8_RKT_	138
_ZN7atermpplsISt6vectorIN5mcrl24data5aliasESaIS4_EELi0ELi0EEERNS_13aterm_ostreamES8_RKT_	69
_ZN7atermpprsERNS_13aterm_istreamEPFNS_9term_applINS_5atermEEERKS4_E	144
_ZN7atermpprsERNS_13aterm_istreamERNS_5atermE	3713
_ZN7atermpprsIN5mcrl211pbes_system4pbesEEERNS_13aterm_istreamEOS4_RT_	4
_ZN7atermpprsIN5mcrl211pres_system4presEEERNS_13aterm_istreamEOS4_RT_	0
_ZN7atermpprsIN5mcrl23lps13specificationEEERNS_13aterm_istreamEOS4_RT_	5
_ZN7atermpprsIN5mcrl23lps24stochastic_specificationEEERNS_13aterm_istreamEOS4_RT_	0
_ZN7atermpprsISt3setIN5mcrl24data8variableESt4lessIS4_ESaIS4_EELi0ELi0EEERNS_13aterm_istreamESA_RT_	9
_ZN7atermpprsISt6vectorIN5mcrl211pbes_system13pbes_equationESaIS4_EELi0ELi0EEERNS_13aterm_istreamES8_RT_	4
_ZN7atermpprsISt6vectorIN5mcrl211pres_system13pres_equationESaIS4_EELi0ELi0EEERNS_13aterm_istreamES8_RT_	0
_ZN7atermpprsISt6vectorIN5mcrl23lps16deadlock_summandESaIS4_EELi0ELi0EEERNS_13aterm_istreamES8_RT_	5
_ZN7atermpprsISt6vectorIN5mcrl23lps25stochastic_action_summandESaIS4_EELi0ELi0EEERNS_13aterm_istreamES8_RT_	5
_ZN7atermpprsISt6vectorIN5mcrl24data10basic_sortESaIS4_EELi0ELi0EEERNS_13aterm_istreamES8_RT_	72
_ZN7atermpprsISt6vectorIN5mcrl24data13data_equationESaIS4_EELi0ELi0EEERNS_13aterm_istreamES8_RT_	72
_ZN7atermpprsISt6vectorIN5mcrl24data15function_symbolESaIS4_EELi0ELi0EEERNS_13aterm_istreamES8_RT_	144
_ZN7atermpprsISt6vectorIN5mcrl24data5aliasESaIS4_EELi0ELi0EEERNS_13aterm_istreamES8_RT_	72
_ZNK7atermpp12aterm_stream15get_transformerEv	219

Generated by: LCOV version 1.14