LCOV - code coverage report
Current view: top level - data/test - typecheck_test.cpp (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 574 602 95.3 %
Date: 2024-05-01 03:37:31 Functions: 290 290 100.0 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZL15test_if_invokerv 1
_ZL16test_and_invokerv 1
_ZL16test_not_invokerv 1
_ZL17test_true_invokerv 1
_ZL17test_zero_invokerv 1
_ZL18test_where_invokerv 1
_ZL20test_aliases_invokerv 1
_ZL21test_emptybag_invokerv 1
_ZL21test_emptyset_invokerv 1
_ZL21test_matching_invokerv 1
_ZL22test_list_zero_invokerv 1
_ZL22test_minus_one_invokerv 1
_ZL23test_alias_loop_invokerv 1
_ZL23test_empty_list_invokerv 1
_ZL24test_bag_numbers_invokerv 1
_ZL24test_set_numbers_invokerv 1
_ZL25test_list_nat_pos_invokerv 1
_ZL25test_list_one_two_invokerv 1
_ZL25test_list_pos_nat_invokerv 1
_ZL25test_one_plus_one_invokerv 1
_ZL25test_sort_aliases_invokerv 1
_ZL26test_empty_list_in_invokerv 1
_ZL26test_eqn_set_where_invokerv 1
_ZL26test_equal_context_invokerv 1
_ZL26test_exists_simple_invokerv 1
_ZL26test_forall_simple_invokerv 1
_ZL26test_inline_struct_invokerv 1
_ZL26test_one_plus_zero_invokerv 1
_ZL26test_zero_plus_one_invokerv 1
_ZL27test_bag_true_false_invokerv 1
_ZL27test_cyclic_aliases_invokerv 1
_ZL27test_duplicate_sort_invokerv 1
_ZL27test_function_alias_invokerv 1
_ZL27test_set_true_false_invokerv 1
_ZL27test_upcast_pos2nat_invokerv 1
_ZL27test_zero_plus_zero_invokerv 1
_ZL28test_empty_list_size_invokerv 1
_ZL28test_function_symbol_invokerv 1
_ZL28test_lambda_aliasing_invokerv 1
_ZL28test_list_true_false_invokerv 1
_ZL29test_function_updates_invokerv 1
_ZL29test_list_is_list_nat_invokerv 1
_ZL29test_sort_as_variable_invokerv 1
_ZL29test_where_in_context_invokerv 1
_ZL30test_bag_comprehension_invokerv 1
_ZL30test_empty_list_concat_invokerv 1
_ZL30test_not_equal_context_invokerv 1
_ZL30test_set_comprehension_invokerv 1
_ZL31test_ambiguous_function_invokerv 1
_ZL31test_struct_constructor_invokerv 1
_ZL31test_where_mix_nat_list_invokerv 1
_ZL32test_alias_loop_extended_invokerv 1
_ZL32test_emptybag_complement_invokerv 1
_ZL32test_emptyset_complement_invokerv 1
_ZL32test_matching_non_strict_invokerv 1
_ZL34test_proper_use_of_int2pos_invokerv 1
_ZL34test_recursive_struct_list_invokerv 1
_ZL35test_exists_structs_compare_invokerv 1
_ZL35test_forall_structs_compare_invokerv 1
_ZL35test_inline_structs_compare_invokerv 1
_ZL35test_proper_use_of_int2pos1_invokerv 1
_ZL35test_where_mix_nat_pos_list_invokerv 1
_ZL36test_cyclic_aliases_indirect_invokerv 1
_ZL36test_data_expressions_struct_invokerv 1
_ZL36test_lambda_anonymous_struct_invokerv 1
_ZL36test_list_nat_concat_one_two_invokerv 1
_ZL36test_list_pos_concat_one_two_invokerv 1
_ZL36test_recursive_function_sort_invokerv 1
_ZL37test_bag_with_pos_as_argument_invokerv 1
_ZL37test_forall_simple_nat_vs_int_invokerv 1
_ZL37test_inline_struct_recogniser_invokerv 1
_ZL37test_lambda_variable_aliasing_invokerv 1
_ZL37test_list_pos_concat_list_nat_invokerv 1
_ZL37test_list_zero_concat_one_two_invokerv 1
_ZL37test_one_times_two_plus_three_invokerv 1
_ZL37test_recursive_struct_no_base_invokerv 1
_ZL38test_bag_with_nat_as_argument1_invokerv 1
_ZL38test_bag_with_nat_as_argument2_invokerv 1
_ZL38test_bag_with_real_as_argument_invokerv 1
_ZL38test_list_zero_concat_list_nat_invokerv 1
_ZL38test_list_zero_concat_list_pos_invokerv 1
_ZL39test_emptyset_complement_subset_invokerv 1
_ZL40test_avoidance_of_possible_types_invokerv 1
_ZL40test_where_var_one_occurs_in_two_invokerv 1
_ZL40test_where_var_two_occurs_in_one_invokerv 1
_ZL42test_ambiguous_projection_function_invokerv 1
_ZL42test_duplicate_function_same_arity_invokerv 1
_ZL42test_recursive_struct_via_function_invokerv 1
_ZL43test_duplicate_function_application_invokerv 1
_ZL43test_recursive_struct_list_indirect_invokerv 1
_ZL44test_ambiguous_function_application1_invokerv 1
_ZL44test_ambiguous_function_application2_invokerv 1
_ZL44test_ambiguous_function_application3_invokerv 1
_ZL44test_ambiguous_function_application5_invokerv 1
_ZL44test_recursive_function_sort_reverse_invokerv 1
_ZL45test_data_specification_nested_struct_invokerv 1
_ZL46test_function_application_int_constant_invokerv 1
_ZL46test_function_application_int_variable_invokerv 1
_ZL46test_function_application_nat_constant_invokerv 1
_ZL46test_function_application_nat_variable_invokerv 1
_ZL46test_function_application_pos_constant_invokerv 1
_ZL46test_function_application_pos_variable_invokerv 1
_ZL46test_inline_structs_compare_recogniser_invokerv 1
_ZL47test_duplicate_function_different_arity_invokerv 1
_ZL47test_emptyset_complement_subset_reverse_invokerv 1
_ZL47test_where_var_one_and_two_occur_in_two_invokerv 1
_ZL49test_data_expressions_different_signature_invokerv 1
_ZL51test_where_var_one_occurs_in_two_in_context_invokerv 1
_ZL51test_where_var_two_occurs_in_one_in_context_invokerv 1
_ZL53test_ambiguous_function_application_recursive_invokerv 1
_ZL54test_ambiguous_function_application_recursive2_invokerv 1
_ZL54test_ambiguous_function_application_recursive3_invokerv 1
_ZL54test_ambiguous_function_application_recursive4_invokerv 1
_ZL54test_data_specification_struct_with_projection_invokerv 1
_ZL54test_duplicate_function_different_arity_larger_invokerv 1
_ZL55test_duplicate_function_different_arity_reverse_invokerv 1
_ZL55test_lambda_term_with_wrong_number_of_arguments_invokerv 1
_ZL55test_where_var_one_occurs_in_two_and_vice_versa_invokerv 1
_ZL56test_duplicate_function_different_arity_horrible_invokerv 1
_ZL56test_struct_constructor_application_int_constant_invokerv 1
_ZL56test_struct_constructor_application_int_variable_invokerv 1
_ZL56test_struct_constructor_application_nat_constant_invokerv 1
_ZL56test_struct_constructor_application_nat_variable_invokerv 1
_ZL56test_struct_constructor_application_pos_constant_invokerv 1
_ZL56test_struct_constructor_application_pos_variable_invokerv 1
_ZL58test_data_specification_constructor_same_signature_invokerv 1
_ZL58test_duplicate_function_different_arity_functional_invokerv 1
_ZL58test_where_var_one_and_two_occur_in_two_in_context_invokerv 1
_ZL60test_duplicate_function_different_arity_horrible_abs_invokerv 1
_ZL61test_duplicate_function_different_arity_horrible_app1_invokerv 1
_ZL61test_duplicate_function_different_arity_horrible_app2_invokerv 1
_ZL62test_data_specification_constructor_map_same_signature_invokerv 1
_ZL63test_data_specification_constructor_different_signature_invokerv 1
_ZL66test_where_var_one_occurs_in_two_and_vice_versa_in_context_invokerv 1
_ZL67test_duplicate_function_same_arity_application_nat_constant_invokerv 1
_ZL67test_duplicate_function_same_arity_application_nat_variable_invokerv 1
_ZL67test_duplicate_function_same_arity_application_pos_constant_invokerv 1
_ZL67test_duplicate_function_same_arity_application_pos_variable_invokerv 1
_ZN10test_where11test_methodEv 1
_ZN12test_aliases11test_methodEv 1
_ZN13test_emptybag11test_methodEv 1
_ZN13test_emptyset11test_methodEv 1
_ZN13test_matching11test_methodEv 1
_ZN14test_list_zero11test_methodEv 1
_ZN14test_minus_one11test_methodEv 1
_ZN15test_alias_loop11test_methodEv 1
_ZN15test_empty_list11test_methodEv 1
_ZN16test_bag_numbers11test_methodEv 1
_ZN16test_set_numbers11test_methodEv 1
_ZN17test_list_nat_pos11test_methodEv 1
_ZN17test_list_one_two11test_methodEv 1
_ZN17test_list_pos_nat11test_methodEv 1
_ZN17test_one_plus_one11test_methodEv 1
_ZN17test_sort_aliases11test_methodEv 1
_ZN18test_empty_list_in11test_methodEv 1
_ZN18test_eqn_set_where11test_methodEv 1
_ZN18test_equal_context11test_methodEv 1
_ZN18test_exists_simple11test_methodEv 1
_ZN18test_forall_simple11test_methodEv 1
_ZN18test_inline_struct11test_methodEv 1
_ZN18test_one_plus_zero11test_methodEv 1
_ZN18test_zero_plus_one11test_methodEv 1
_ZN19test_bag_true_false11test_methodEv 1
_ZN19test_cyclic_aliases11test_methodEv 1
_ZN19test_duplicate_sort11test_methodEv 1
_ZN19test_function_alias11test_methodEv 1
_ZN19test_set_true_false11test_methodEv 1
_ZN19test_upcast_pos2nat11test_methodEv 1
_ZN19test_zero_plus_zero11test_methodEv 1
_ZN20test_empty_list_size11test_methodEv 1
_ZN20test_function_symbol11test_methodEv 1
_ZN20test_lambda_aliasing11test_methodEv 1
_ZN20test_list_true_false11test_methodEv 1
_ZN21test_function_updates11test_methodEv 1
_ZN21test_list_is_list_nat11test_methodEv 1
_ZN21test_sort_as_variable11test_methodEv 1
_ZN21test_where_in_context11test_methodEv 1
_ZN22test_bag_comprehension11test_methodEv 1
_ZN22test_empty_list_concat11test_methodEv 1
_ZN22test_not_equal_context11test_methodEv 1
_ZN22test_set_comprehension11test_methodEv 1
_ZN23test_ambiguous_function11test_methodEv 1
_ZN23test_struct_constructor11test_methodEv 1
_ZN23test_where_mix_nat_list11test_methodEv 1
_ZN24test_alias_loop_extended11test_methodEv 1
_ZN24test_emptybag_complement11test_methodEv 1
_ZN24test_emptyset_complement11test_methodEv 1
_ZN24test_matching_non_strict11test_methodEv 1
_ZN26test_proper_use_of_int2pos11test_methodEv 1
_ZN26test_recursive_struct_list11test_methodEv 1
_ZN26testable_sort_type_checkerC2ERKN5mcrl24data18sort_specificationE 1
_ZN27test_exists_structs_compare11test_methodEv 1
_ZN27test_forall_structs_compare11test_methodEv 1
_ZN27test_inline_structs_compare11test_methodEv 1
_ZN27test_proper_use_of_int2pos111test_methodEv 1
_ZN27test_where_mix_nat_pos_list11test_methodEv 1
_ZN28test_cyclic_aliases_indirect11test_methodEv 1
_ZN28test_data_expressions_struct11test_methodEv 1
_ZN28test_lambda_anonymous_struct11test_methodEv 1
_ZN28test_list_nat_concat_one_two11test_methodEv 1
_ZN28test_list_pos_concat_one_two11test_methodEv 1
_ZN28test_recursive_function_sort11test_methodEv 1
_ZN29test_bag_with_pos_as_argument11test_methodEv 1
_ZN29test_forall_simple_nat_vs_int11test_methodEv 1
_ZN29test_inline_struct_recogniser11test_methodEv 1
_ZN29test_lambda_variable_aliasing11test_methodEv 1
_ZN29test_list_pos_concat_list_nat11test_methodEv 1
_ZN29test_list_zero_concat_one_two11test_methodEv 1
_ZN29test_one_times_two_plus_three11test_methodEv 1
_ZN29test_recursive_struct_no_base11test_methodEv 1
_ZN30test_bag_with_nat_as_argument111test_methodEv 1
_ZN30test_bag_with_nat_as_argument211test_methodEv 1
_ZN30test_bag_with_real_as_argument11test_methodEv 1
_ZN30test_list_zero_concat_list_nat11test_methodEv 1
_ZN30test_list_zero_concat_list_pos11test_methodEv 1
_ZN31test_emptyset_complement_subset11test_methodEv 1
_ZN32test_avoidance_of_possible_types11test_methodEv 1
_ZN32test_where_var_one_occurs_in_two11test_methodEv 1
_ZN32test_where_var_two_occurs_in_one11test_methodEv 1
_ZN34test_ambiguous_projection_function11test_methodEv 1
_ZN34test_duplicate_function_same_arity11test_methodEv 1
_ZN34test_recursive_struct_via_function11test_methodEv 1
_ZN35test_duplicate_function_application11test_methodEv 1
_ZN35test_recursive_struct_list_indirect11test_methodEv 1
_ZN36test_ambiguous_function_application111test_methodEv 1
_ZN36test_ambiguous_function_application211test_methodEv 1
_ZN36test_ambiguous_function_application311test_methodEv 1
_ZN36test_ambiguous_function_application511test_methodEv 1
_ZN36test_recursive_function_sort_reverse11test_methodEv 1
_ZN37test_data_specification_nested_struct11test_methodEv 1
_ZN38test_function_application_int_constant11test_methodEv 1
_ZN38test_function_application_int_variable11test_methodEv 1
_ZN38test_function_application_nat_constant11test_methodEv 1
_ZN38test_function_application_nat_variable11test_methodEv 1
_ZN38test_function_application_pos_constant11test_methodEv 1
_ZN38test_function_application_pos_variable11test_methodEv 1
_ZN38test_inline_structs_compare_recogniser11test_methodEv 1
_ZN39test_duplicate_function_different_arity11test_methodEv 1
_ZN39test_emptyset_complement_subset_reverse11test_methodEv 1
_ZN39test_where_var_one_and_two_occur_in_two11test_methodEv 1
_ZN41test_data_expressions_different_signature11test_methodEv 1
_ZN43test_where_var_one_occurs_in_two_in_context11test_methodEv 1
_ZN43test_where_var_two_occurs_in_one_in_context11test_methodEv 1
_ZN45test_ambiguous_function_application_recursive11test_methodEv 1
_ZN46test_ambiguous_function_application_recursive211test_methodEv 1
_ZN46test_ambiguous_function_application_recursive311test_methodEv 1
_ZN46test_ambiguous_function_application_recursive411test_methodEv 1
_ZN46test_data_specification_struct_with_projection11test_methodEv 1
_ZN46test_duplicate_function_different_arity_larger11test_methodEv 1
_ZN47test_duplicate_function_different_arity_reverse11test_methodEv 1
_ZN47test_lambda_term_with_wrong_number_of_arguments11test_methodEv 1
_ZN47test_where_var_one_occurs_in_two_and_vice_versa11test_methodEv 1
_ZN48test_duplicate_function_different_arity_horrible11test_methodEv 1
_ZN48test_struct_constructor_application_int_constant11test_methodEv 1
_ZN48test_struct_constructor_application_int_variable11test_methodEv 1
_ZN48test_struct_constructor_application_nat_constant11test_methodEv 1
_ZN48test_struct_constructor_application_nat_variable11test_methodEv 1
_ZN48test_struct_constructor_application_pos_constant11test_methodEv 1
_ZN48test_struct_constructor_application_pos_variable11test_methodEv 1
_ZN50test_data_specification_constructor_same_signature11test_methodEv 1
_ZN50test_duplicate_function_different_arity_functional11test_methodEv 1
_ZN50test_where_var_one_and_two_occur_in_two_in_context11test_methodEv 1
_ZN52test_duplicate_function_different_arity_horrible_abs11test_methodEv 1
_ZN53test_duplicate_function_different_arity_horrible_app111test_methodEv 1
_ZN53test_duplicate_function_different_arity_horrible_app211test_methodEv 1
_ZN54test_data_specification_constructor_map_same_signature11test_methodEv 1
_ZN55test_data_specification_constructor_different_signature11test_methodEv 1
_ZN58test_where_var_one_occurs_in_two_and_vice_versa_in_context11test_methodEv 1
_ZN59test_duplicate_function_same_arity_application_nat_constant11test_methodEv 1
_ZN59test_duplicate_function_same_arity_application_nat_variable11test_methodEv 1
_ZN59test_duplicate_function_same_arity_application_pos_constant11test_methodEv 1
_ZN59test_duplicate_function_same_arity_application_pos_variable11test_methodEv 1
_ZN7test_if11test_methodEv 1
_ZN8test_and11test_methodEv 1
_ZN8test_not11test_methodEv 1
_ZN9test_true11test_methodEv 1
_ZN9test_zero11test_methodEv 1
_Z4listRKN5mcrl24data15sort_expressionE 9
_ZN26testable_sort_type_checker11check_aliasERKN5mcrl24data5aliasE 15
_Z3natv 18
_Z23test_data_specificationRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEbb 21
_Z45test_data_expression_in_specification_contextRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES6_bS6_b 23
_Z3posv 26
_Z45test_data_expression_in_specification_contextRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES6_RKSt6vectorIN5mcrl24data8variableESaISA_EEbS6_b 50
_Z20test_data_expressionRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEbS6_b 53
_Z3varRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKN5mcrl24data15sort_expressionE 55
_Z20test_data_expressionRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKSt6vectorIN5mcrl24data8variableESaISA_EEbS6_b 70
_Z24parse_data_specificationRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEb 71
_Z21parse_sort_expressionRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE 83
_Z21parse_data_expressionRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE 120

Generated by: LCOV version 1.14