LCOV - code coverage report
Current view: top level - data/include/mcrl2/data/experimental - type_checker.h (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 168 281 59.8 %
Date: 2024-03-08 02:52:28 Functions: 11 21 52.4 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZN5mcrl24data12type_checker12add_constantERKNS0_15function_symbolERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE 0
_ZN5mcrl24data12type_checker12add_functionERKNS0_15function_symbolERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEb 0
_ZN5mcrl24data12type_checker19add_system_constantERKNS0_15function_symbolE 426
_ZN5mcrl24data12type_checker19add_system_functionERKNS0_15function_symbolE 8733
_ZN5mcrl24data12type_checker30read_constructors_and_mappingsERKSt6vectorINS0_15function_symbolESaIS3_EES7_S7_ 71
_ZN5mcrl24data12type_checker35initialise_system_defined_functionsEv 71
_ZN5mcrl24data12type_checker9read_sortERKNS0_15sort_expressionE 0
_ZN5mcrl24data12type_checkerC2ERKNS0_18data_specificationE 71
_ZN5mcrl24data6detail20transform_aterm_listIZNS1_22unwind_sort_expressionERKNS0_15sort_expressionERKSt6vectorINS0_5aliasESaIS7_EEEUlS5_E_S3_EEN7atermpp9term_listIT0_EERKT_RKSG_ 0
_ZN5mcrl24data6detail22unwind_sort_expressionERKNS0_15sort_expressionERKSt6vectorINS0_5aliasESaIS6_EE 0
_ZN5mcrl24data6detail6is_natERKN7atermpp12aterm_stringE 15
_ZN5mcrl24data6detail6is_posERKN7atermpp12aterm_stringE 70
_ZNK5mcrl24data12type_checker11equal_typesERKNS0_15sort_expressionES4_ 0
_ZNK5mcrl24data12type_checker14user_constantsEv 71
_ZNK5mcrl24data12type_checker14user_functionsEv 71
_ZNK5mcrl24data12type_checker16system_constantsEv 71
_ZNK5mcrl24data12type_checker16system_functionsEv 71
_ZNK5mcrl24data12type_checker22unwind_sort_expressionERKNS0_15sort_expressionE 0
_ZNK5mcrl24data12type_checker9find_sortERKNS0_15sort_expressionERKN7atermpp9term_listINS0_13function_sortEEE 0
_ZZN5mcrl24data6detail22unwind_sort_expressionERKNS0_15sort_expressionERKSt6vectorINS0_5aliasESaIS6_EEENKUlS4_E_clES4_ 0
_ZZNK5mcrl24data12type_checker9find_sortERKNS0_15sort_expressionERKN7atermpp9term_listINS0_13function_sortEEEENKUlRKS7_E_clESC_ 0

Generated by: LCOV version 1.14