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: 52 52 100.0 %
Date: 2020-04-01 00:44:46 Functions: 44 46 95.7 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZN7atermpplsIN5mcrl23lps24stochastic_specificationEEERNS_13aterm_ostreamEOS4_RKT_ 0
_ZN7atermpprsIN5mcrl23lps24stochastic_specificationEEERNS_13aterm_istreamEOS4_RT_ 0
_ZN7atermpplsIFNS_9term_applINS_5atermEEERKS3_EEERNS_13aterm_ostreamEOS7_RKT_ 1
_ZN7atermpprsIFNS_9term_applINS_5atermEEERKS3_EEERNS_13aterm_istreamEOS7_RT_ 1
_ZN7atermpprsIN5mcrl23bes23boolean_equation_systemEEERNS_13aterm_istreamEOS4_RT_ 1
_ZN7atermpprsISt6vectorIN5mcrl23bes16boolean_equationESaIS4_EELi0ELi0EEERNS_13aterm_istreamES8_RT_ 1
_ZN7atermpp20read_int_from_stringERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE 2
_ZN7atermpplsERSoRKNS_15function_symbolE 2
_ZN7atermpplsIN5mcrl211pbes_system4pbesEEERNS_13aterm_ostreamEOS4_RKT_ 3
_ZN7atermpplsIN5mcrl23bes23boolean_equation_systemEEERNS_13aterm_ostreamEOS4_RKT_ 3
_ZN7atermpplsIN5mcrl23lps13specificationEEERNS_13aterm_ostreamEOS4_RKT_ 3
_ZN7atermpplsISt6vectorIN5mcrl211pbes_system13pbes_equationESaIS4_EELi0ELi0EEERNS_13aterm_ostreamES8_RKT_ 3
_ZN7atermpplsISt6vectorIN5mcrl23bes16boolean_equationESaIS4_EELi0ELi0EEERNS_13aterm_ostreamES8_RKT_ 3
_ZN7atermpplsISt6vectorIN5mcrl23lps16deadlock_summandESaIS4_EELi0ELi0EEERNS_13aterm_ostreamES8_RKT_ 3
_ZN7atermpplsISt6vectorIN5mcrl23lps25stochastic_action_summandESaIS4_EELi0ELi0EEERNS_13aterm_ostreamES8_RKT_ 3
_ZN7atermpprsIN5mcrl211pbes_system4pbesEEERNS_13aterm_istreamEOS4_RT_ 4
_ZN7atermpprsISt6vectorIN5mcrl211pbes_system13pbes_equationESaIS4_EELi0ELi0EEERNS_13aterm_istreamES8_RT_ 4
_ZN7atermpprsIN5mcrl23lps13specificationEEERNS_13aterm_istreamEOS4_RT_ 5
_ZN7atermpprsISt6vectorIN5mcrl23lps16deadlock_summandESaIS4_EELi0ELi0EEERNS_13aterm_istreamES8_RT_ 5
_ZN7atermpprsISt6vectorIN5mcrl23lps25stochastic_action_summandESaIS4_EELi0ELi0EEERNS_13aterm_istreamES8_RT_ 5
_ZN7atermpplsISt3setIN5mcrl24data8variableESt4lessIS4_ESaIS4_EELi0ELi0EEERNS_13aterm_ostreamESA_RKT_ 6
_ZN7atermpprsISt3setIN5mcrl24data8variableESt4lessIS4_ESaIS4_EELi0ELi0EEERNS_13aterm_istreamESA_RT_ 9
_ZN7atermpp21read_list_from_stringERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE 15
_ZN7atermpp21read_appl_from_stringERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE 29
_ZN7atermpplsISt6vectorIN5mcrl24data10basic_sortESaIS4_EELi0ELi0EEERNS_13aterm_ostreamES8_RKT_ 118
_ZN7atermpplsISt6vectorIN5mcrl24data13data_equationESaIS4_EELi0ELi0EEERNS_13aterm_ostreamES8_RKT_ 118
_ZN7atermpplsISt6vectorIN5mcrl24data5aliasESaIS4_EELi0ELi0EEERNS_13aterm_ostreamES8_RKT_ 118
_ZN7atermpprsISt6vectorIN5mcrl24data10basic_sortESaIS4_EELi0ELi0EEERNS_13aterm_istreamES8_RT_ 121
_ZN7atermpprsISt6vectorIN5mcrl24data13data_equationESaIS4_EELi0ELi0EEERNS_13aterm_istreamES8_RT_ 121
_ZN7atermpprsISt6vectorIN5mcrl24data5aliasESaIS4_EELi0ELi0EEERNS_13aterm_istreamES8_RT_ 121
_ZN7atermpplsISt6vectorIN5mcrl24data15function_symbolESaIS4_EELi0ELi0EEERNS_13aterm_ostreamES8_RKT_ 236
_ZN7atermpprsISt6vectorIN5mcrl24data15function_symbolESaIS4_EELi0ELi0EEERNS_13aterm_istreamES8_RT_ 242
_ZN7atermpplsERNS_13aterm_ostreamEPFNS_9term_applINS_5atermEEERKS4_E 246
_ZN7atermpprsERNS_13aterm_istreamEPFNS_9term_applINS_5atermEEERKS4_E 246
_ZN7atermpp18aterm_stream_stateC2ERNS_12aterm_streamE 378
_ZN7atermpp18aterm_stream_stateD2Ev 378
_ZNK7atermpp12aterm_stream15get_transformerEv 378
_ZN7atermpp12aterm_stream15set_transformerEPFNS_9term_applINS_5atermEEERKS3_E 870
_ZN7atermpprsERNS_13aterm_istreamERNS_5atermE 7021
_ZN7atermpp2ppB5cxx11ERKNS_5atermE 10029
_ZN7atermpp13aterm_istreamC2Ev 10236
_ZN7atermpplsINS_5atermEEERNS_13aterm_ostreamEOS2_RKT_ 12516
_ZN7atermpp13aterm_ostreamC2Ev 12641
_ZN7atermpplsERNS_13aterm_ostreamERKNS_5atermE 22031
_ZN7atermpp12aterm_streamC2Ev 22877
_ZN7atermpp8identityERKNS_9term_applINS_5atermEEE 423286

Generated by: LCOV version 1.13