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
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