LCOV - code coverage report
Current view:
top level
-
data/include/mcrl2/data/experimental
- type_check_tree.h
(
source
/ functions)
Hit
Total
Coverage
Test:
mcrl2_coverage.info.cleaned
Lines:
568
663
85.7 %
Date:
2024-04-21 03:44:01
Functions:
110
117
94.0 %
Legend:
Lines:
hit
not hit
Function Name
Hit count
_ZN5mcrl24data10false_nodeC2ERNS0_18type_check_contextE
10
_ZN5mcrl24data10print_nodeERKSt10shared_ptrINS0_15type_check_nodeEE
321
_ZN5mcrl24data10substituteERKNS0_15sort_expressionERKSt3mapINS0_21untyped_sort_variableES1_St4lessIS5_ESaISt4pairIKS5_S1_EEE
0
_ZN5mcrl24data11exists_node14set_constraintERNS0_18type_check_contextE
2
_ZN5mcrl24data11exists_nodeC2ERNS0_18type_check_contextERKN7atermpp9term_listINS0_8variableEEESt10shared_ptrINS0_15type_check_nodeEE
2
_ZN5mcrl24data11forall_node14set_constraintERNS0_18type_check_contextE
3
_ZN5mcrl24data11forall_nodeC2ERNS0_18type_check_contextERKN7atermpp9term_listINS0_8variableEEESt10shared_ptrINS0_15type_check_nodeEE
3
_ZN5mcrl24data11lambda_node14set_constraintERNS0_18type_check_contextE
7
_ZN5mcrl24data11lambda_nodeC2ERNS0_18type_check_contextERKN7atermpp9term_listINS0_8variableEEESt10shared_ptrINS0_15type_check_nodeEE
11
_ZN5mcrl24data11number_node14set_constraintERNS0_18type_check_contextE
70
_ZN5mcrl24data11number_nodeC2ERNS0_18type_check_contextERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE
74
_ZN5mcrl24data12filter_sortsERKN7atermpp9term_listINS0_13function_sortEEEm
68
_ZN5mcrl24data13constant_node14set_constraintERNS0_18type_check_contextE
14
_ZN5mcrl24data13constant_nodeC2ERNS0_18type_check_contextERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE
35
_ZN5mcrl24data13constant_nodeD0Ev
0
_ZN5mcrl24data13constant_nodeD2Ev
35
_ZN5mcrl24data13or_constraintC2ERKSt6vectorISt10shared_ptrINS0_21type_check_constraintEESaIS5_EE
44
_ZN5mcrl24data14and_constraintC2ERKSt6vectorISt10shared_ptrINS0_21type_check_constraintEESaIS5_EE
382
_ZN5mcrl24data14empty_bag_node14set_constraintERNS0_18type_check_contextE
2
_ZN5mcrl24data14empty_bag_nodeC2ERNS0_18type_check_contextE
2
_ZN5mcrl24data14empty_set_node14set_constraintERNS0_18type_check_contextE
6
_ZN5mcrl24data14empty_set_nodeC2ERNS0_18type_check_contextE
6
_ZN5mcrl24data15empty_list_node14set_constraintERNS0_18type_check_contextE
5
_ZN5mcrl24data15empty_list_nodeC2ERNS0_18type_check_contextE
5
_ZN5mcrl24data15true_constraintC2Ei
353
_ZN5mcrl24data15type_check_node14set_constraintERNS0_18type_check_contextE
4
_ZN5mcrl24data15type_check_node18apply_substitutionERKSt3mapINS0_21untyped_sort_variableENS0_15sort_expressionESt4lessIS3_ESaISt4pairIKS3_S4_EEE
0
_ZN5mcrl24data15type_check_node20check_well_typednessERKNS0_18type_check_contextE
0
_ZN5mcrl24data15type_check_node24set_children_constraintsERNS0_18type_check_contextE
131
_ZN5mcrl24data15type_check_nodeC2ERNS0_18type_check_contextERKSt6vectorISt10shared_ptrIS1_ESaIS6_EE
321
_ZN5mcrl24data15type_check_nodeD0Ev
0
_ZN5mcrl24data15type_check_nodeD2Ev
321
_ZN5mcrl24data16application_node14set_constraintERNS0_18type_check_contextE
3
_ZN5mcrl24data16application_nodeC2ERNS0_18type_check_contextESt10shared_ptrINS0_15type_check_nodeEERKSt6vectorIS6_SaIS6_EE
3
_ZN5mcrl24data16false_constraintC2ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE
2
_ZN5mcrl24data16has_untyped_sortINS0_13function_sortEEEbRKT_
359
_ZN5mcrl24data16has_untyped_sortINS0_15data_expressionEEEbRKT_
2
_ZN5mcrl24data17print_node_vectorISt6vectorISt10shared_ptrINS0_15type_check_nodeEESaIS5_EEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKSD_RKT_SF_SF_SF_
56
_ZN5mcrl24data17print_node_vectorISt6vectorISt10shared_ptrINS0_21type_check_constraintEESaIS5_EEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKSD_RKT_SF_SF_SF_
426
_ZN5mcrl24data17where_clause_node14set_constraintERNS0_18type_check_contextE
13
_ZN5mcrl24data17where_clause_nodeC2ERNS0_18type_check_contextESt10shared_ptrINS0_15type_check_nodeEERKSt6vectorISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES6_ESaISF_EE
13
_ZN5mcrl24data18make_or_constraintERKSt6vectorISt10shared_ptrINS0_21type_check_constraintEESaIS4_EE
162
_ZN5mcrl24data18subsort_constraintC2ERKNS0_15sort_expressionES4_i
75
_ZN5mcrl24data18type_check_context20add_context_variableERKNS0_8variableE
75
_ZN5mcrl24data18type_check_context21add_context_variablesERKN7atermpp9term_listINS0_8variableEEE
96
_ZN5mcrl24data18type_check_context23remove_context_variableERKNS0_8variableE
75
_ZN5mcrl24data18type_check_context24remove_context_variablesERKN7atermpp9term_listINS0_8variableEEE
96
_ZN5mcrl24data18type_check_contextC2ERKNS0_18data_specificationE
71
_ZN5mcrl24data19make_and_constraintERKSt6vectorISt10shared_ptrINS0_21type_check_constraintEESaIS4_EE
397
_ZN5mcrl24data19unary_operator_node14set_constraintERNS0_18type_check_contextE
10
_ZN5mcrl24data19unary_operator_nodeC2ERNS0_18type_check_contextERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt10shared_ptrINS0_15type_check_nodeEE
21
_ZN5mcrl24data19unary_operator_nodeD0Ev
10
_ZN5mcrl24data19unary_operator_nodeD2Ev
21
_ZN5mcrl24data20bag_enumeration_node14set_constraintERNS0_18type_check_contextE
2
_ZN5mcrl24data20bag_enumeration_nodeC2ERNS0_18type_check_contextERKSt6vectorISt10shared_ptrINS0_15type_check_nodeEESaIS7_EE
2
_ZN5mcrl24data20binary_operator_node14set_constraintERNS0_18type_check_contextE
58
_ZN5mcrl24data20binary_operator_nodeC2ERNS0_18type_check_contextERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt10shared_ptrINS0_15type_check_nodeEESE_
60
_ZN5mcrl24data20function_update_nodeC2ERNS0_18type_check_contextESt10shared_ptrINS0_15type_check_nodeEES6_S6_
5
_ZN5mcrl24data20make_true_constraintEi
353
_ZN5mcrl24data20replace_untyped_sortINS0_13function_sortEEET_RKS3_RKNS0_15sort_expressionE
159
_ZN5mcrl24data20replace_untyped_sortINS0_15data_expressionEEET_RKS3_RKNS0_15sort_expressionE
1
_ZN5mcrl24data20set_enumeration_node14set_constraintERNS0_18type_check_contextE
2
_ZN5mcrl24data20set_enumeration_nodeC2ERNS0_18type_check_contextERKSt6vectorISt10shared_ptrINS0_15type_check_nodeEESaIS7_EE
2
_ZN5mcrl24data21list_enumeration_node14set_constraintERNS0_18type_check_contextE
15
_ZN5mcrl24data21list_enumeration_nodeC2ERNS0_18type_check_contextERKSt6vectorISt10shared_ptrINS0_15type_check_nodeEESaIS7_EE
15
_ZN5mcrl24data21make_false_constraintERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE
2
_ZN5mcrl24data21substitute_constraintESt10shared_ptrINS0_21type_check_constraintEERKSt3mapINS0_21untyped_sort_variableENS0_15sort_expressionESt4lessIS5_ESaISt4pairIKS5_S6_EEE
0
_ZN5mcrl24data21type_check_constraintC2Ei
2184
_ZN5mcrl24data23make_subsort_constraintERKNS0_15sort_expressionES3_i
1174
_ZN5mcrl24data24is_element_of_constraintC2ERKNS0_21untyped_sort_variableERKSt6vectorINS0_15sort_expressionESaIS6_EEi
1328
_ZN5mcrl24data25type_check_tree_generatorC2ERNS0_18type_check_contextERKNS_4core6parserE
71
_ZN5mcrl24data26make_untyped_sort_variableERKNS0_15sort_expressionE
1328
_ZN5mcrl24data27bag_or_set_enumeration_node14set_constraintERNS0_18type_check_contextE
2
_ZN5mcrl24data27bag_or_set_enumeration_nodeC2ERNS0_18type_check_contextERKNS0_8variableESt10shared_ptrINS0_15type_check_nodeEE
2
_ZN5mcrl24data27make_is_equal_to_constraintERKNS0_15sort_expressionES3_i
771
_ZN5mcrl24data29make_function_sort_constraintERKNS0_13function_sortERKNS0_15sort_expressionE
0
_ZN5mcrl24data29make_is_element_of_constraintERKNS0_15sort_expressionERKSt6vectorIS1_SaIS1_EEi
1328
_ZN5mcrl24data33join_or_is_element_of_constraintsERKSt6vectorISt10shared_ptrINS0_21type_check_constraintEESaIS4_EE
162
_ZN5mcrl24data7id_node14set_constraintERNS0_18type_check_contextE
80
_ZN5mcrl24data7id_nodeC2ERNS0_18type_check_contextERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE
84
_ZN5mcrl24data9true_nodeC2ERNS0_18type_check_contextE
12
_ZNK5mcrl24data11exists_node5printB5cxx11Ev
2
_ZNK5mcrl24data11forall_node5printB5cxx11Ev
3
_ZNK5mcrl24data11lambda_node5printB5cxx11Ev
20
_ZNK5mcrl24data11number_node5printB5cxx11Ev
184
_ZNK5mcrl24data13constant_node5printB5cxx11Ev
70
_ZNK5mcrl24data13or_constraint5printB5cxx11Ev
44
_ZNK5mcrl24data14and_constraint5printB5cxx11Ev
382
_ZNK5mcrl24data15true_constraint5printB5cxx11Ev
34
_ZNK5mcrl24data16application_node5printB5cxx11Ev
6
_ZNK5mcrl24data16false_constraint5printB5cxx11Ev
2
_ZNK5mcrl24data17where_clause_node5printB5cxx11Ev
13
_ZNK5mcrl24data18subsort_constraint5printB5cxx11Ev
75
_ZNK5mcrl24data18type_check_context20create_sort_variableEv
512
_ZNK5mcrl24data18type_check_context21replace_untyped_sortsERKN7atermpp9term_listINS0_13function_sortEEE
148
_ZNK5mcrl24data18type_check_context23find_matching_constantsERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE
94
_ZNK5mcrl24data18type_check_context23find_matching_functionsERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE
80
_ZNK5mcrl24data18type_check_context23find_matching_functionsERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEm
68
_ZNK5mcrl24data18type_check_context23find_matching_variablesERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE
80
_ZNK5mcrl24data19unary_operator_node5printB5cxx11Ev
16
_ZNK5mcrl24data20bag_enumeration_node5printB5cxx11Ev
2
_ZNK5mcrl24data20binary_operator_node5printB5cxx11Ev
108
_ZNK5mcrl24data20function_update_node5printB5cxx11Ev
6
_ZNK5mcrl24data20set_enumeration_node5printB5cxx11Ev
2
_ZNK5mcrl24data21list_enumeration_node5printB5cxx11Ev
25
_ZNK5mcrl24data24is_element_of_constraint5printB5cxx11Ev
1236
_ZNK5mcrl24data25type_check_tree_generator14parse_DataExprERKNS_4core10parse_nodeE
326
_ZNK5mcrl24data25type_check_tree_generator16parse_AssignmentB5cxx11ERKNS_4core10parse_nodeE
25
_ZNK5mcrl24data25type_check_tree_generator18parse_DataExprListERKNS_4core10parse_nodeE
22
_ZNK5mcrl24data25type_check_tree_generator20parse_AssignmentListB5cxx11ERKNS_4core10parse_nodeE
13
_ZNK5mcrl24data25type_check_tree_generator20parse_BagEnumEltListERKNS_4core10parse_nodeE
2
_ZNK5mcrl24data27bag_or_set_enumeration_node5printB5cxx11Ev
2
_ZNK5mcrl24data7id_node5printB5cxx11Ev
250
_ZZN5mcrl24data20replace_untyped_sortINS0_13function_sortEEET_RKS3_RKNS0_15sort_expressionEENKUlS8_E_clES8_
875
_ZZN5mcrl24data20replace_untyped_sortINS0_15data_expressionEEET_RKS3_RKNS0_15sort_expressionEENKUlS8_E_clES8_
7
_ZZNK5mcrl24data25type_check_tree_generator18parse_DataExprListERKNS_4core10parse_nodeEENKUlS5_E_clES5_
46
_ZZNK5mcrl24data25type_check_tree_generator20parse_AssignmentListB5cxx11ERKNS_4core10parse_nodeEENKUlS5_E_clES5_
25
Generated by:
LCOV version 1.14