LCOV - code coverage report

Current view: top level - lps/test - linearization_test3.cpp (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 28 28 100.0 % Date: 2024-04-26 03:18:02 Functions: 14 14 100.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZL107Check_whether_the_sum_variable_will_not_get_the_same_name_as_the_newly_introduced_process_parameter_invokerv	1
_ZL108Check_whether_the_sum_variable_will_not_get_the_same_name_as_the_newly_introduced_process_parameter2_invokerv	1
_ZL52Type_checking_of_function_can_be_problematic_invokerv	1
_ZL56Moving_a_distribution_out_of_a_process_is_tricky_invokerv	1
_ZL60The_unreachability_of_tau_is_not_properly_recognized_invokerv	1
_ZL61type_checking_a_finite_set_with_numbers_can_go_astray_invokerv	1
_ZL88linearisation_of_the_enclosed_spec_caused_a_name_conflict_with_the_option_lstack_invokerv	1
_ZN100Check_whether_the_sum_variable_will_not_get_the_same_name_as_the_newly_introduced_process_parameter211test_methodEv	1
_ZN44Type_checking_of_function_can_be_problematic11test_methodEv	1
_ZN48Moving_a_distribution_out_of_a_process_is_tricky11test_methodEv	1
_ZN52The_unreachability_of_tau_is_not_properly_recognized11test_methodEv	1
_ZN53type_checking_a_finite_set_with_numbers_can_go_astray11test_methodEv	1
_ZN80linearisation_of_the_enclosed_spec_caused_a_name_conflict_with_the_option_lstack11test_methodEv	1
_ZN99Check_whether_the_sum_variable_will_not_get_the_same_name_as_the_newly_introduced_process_parameter11test_methodEv	1

Generated by: LCOV version 1.14