LCOV - code coverage report

Current view: top level - process/test - typecheck_test.cpp (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 120 127 94.5 % Date: 2024-05-01 03:37:31 Functions: 66 66 100.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZL20test_bug_644_invokerv	1
_ZL21test_bug_528a_invokerv	1
_ZL21test_bug_528b_invokerv	1
_ZL21test_bug_528c_invokerv	1
_ZL21test_bug_528d_invokerv	1
_ZL21test_bug_626a_invokerv	1
_ZL21test_bug_626b_invokerv	1
_ZL21test_bug_629a_invokerv	1
_ZL21test_bug_629b_invokerv	1
_ZL21test_bug_629c_invokerv	1
_ZL21test_bug_629d_invokerv	1
_ZL21test_bug_629e_invokerv	1
_ZL21test_bug_663a_invokerv	1
_ZL21test_bug_663b_invokerv	1
_ZL21test_bug_663c_invokerv	1
_ZL22test_real_zero_invokerv	1
_ZL22test_typecheck_invokerv	1
_ZL24test_recursive_a_invokerv	1
_ZL24test_recursive_b_invokerv	1
_ZL24test_recursive_c_invokerv	1
_ZL24test_recursive_d_invokerv	1
_ZL25test_concat_lists_invokerv	1
_ZL27test_concat_element_invokerv	1
_ZL29test_global_variables_invokerv	1
_ZL31test_function_condition_invokerv	1
_ZL35test_incomplete_assignments_invokerv	1
_ZL39test_function_as_set_descriptor_invokerv	1
_ZL41test_process_reference_assignment_invokerv	1
_ZL43test_function_as_equation_condition_invokerv	1
_ZL47test_sort_expression_vs_function_symbol_invokerv	1
_ZL49test_incomplete_assignment_in_init_clause_invokerv	1
_ZL50test_double_variable_assignment_in_process_invokerv	1
_ZN12test_bug_64411test_methodEv	1
_ZN13test_bug_528a11test_methodEv	1
_ZN13test_bug_528b11test_methodEv	1
_ZN13test_bug_528c11test_methodEv	1
_ZN13test_bug_528d11test_methodEv	1
_ZN13test_bug_626a11test_methodEv	1
_ZN13test_bug_626b11test_methodEv	1
_ZN13test_bug_629a11test_methodEv	1
_ZN13test_bug_629b11test_methodEv	1
_ZN13test_bug_629c11test_methodEv	1
_ZN13test_bug_629d11test_methodEv	1
_ZN13test_bug_629e11test_methodEv	1
_ZN13test_bug_663a11test_methodEv	1
_ZN13test_bug_663b11test_methodEv	1
_ZN13test_bug_663c11test_methodEv	1
_ZN14test_real_zero11test_methodEv	1
_ZN14test_typecheck11test_methodEv	1
_ZN16test_recursive_a11test_methodEv	1
_ZN16test_recursive_b11test_methodEv	1
_ZN16test_recursive_c11test_methodEv	1
_ZN16test_recursive_d11test_methodEv	1
_ZN17test_concat_lists11test_methodEv	1
_ZN19test_concat_element11test_methodEv	1
_ZN21test_global_variables11test_methodEv	1
_ZN23test_function_condition11test_methodEv	1
_ZN27test_incomplete_assignments11test_methodEv	1
_ZN31test_function_as_set_descriptor11test_methodEv	1
_ZN33test_process_reference_assignment11test_methodEv	1
_ZN35test_function_as_equation_condition11test_methodEv	1
_ZN39test_sort_expression_vs_function_symbol11test_methodEv	1
_ZN41test_incomplete_assignment_in_init_clause11test_methodEv	1
_ZN42test_double_variable_assignment_in_process11test_methodEv	1
_Z26test_process_specificationRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEbb	5
_Z21test_typechecker_caseRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEb	26

Generated by: LCOV version 1.14