LCOV - code coverage report

Current view: top level - lps/test - linearization_test2.cpp (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 135 135 100.0 % Date: 2024-04-19 03:43:27 Functions: 54 54 100.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZL15bug_978_invokerv	1
_ZL16bug_1085_invokerv	1
_ZL16gpa_10_3_invokerv	1
_ZL20sort_aliases_invokerv	1
_ZL21test_bug_775a_invokerv	1
_ZL21test_bug_775b_invokerv	1
_ZL23various_case_27_invokerv	1
_ZL23various_case_28_invokerv	1
_ZL23various_case_29_invokerv	1
_ZL23various_case_30_invokerv	1
_ZL23various_case_31_invokerv	1
_ZL23various_case_32_invokerv	1
_ZL23various_case_33_invokerv	1
_ZL23various_case_34_invokerv	1
_ZL24various_case_par_invokerv	1
_ZL27unguarded_recursion_invokerv	1
_ZL27various_case_LR2par_invokerv	1
_ZL28test_aliases_complex_invokerv	1
_ZL28various_case_LR2plus_invokerv	1
_ZL34test_multiple_action_types_invokerv	1
_ZL35test_bug_alphabet_reduction_invokerv	1
_ZL36test_bug_alphabet_reduction1_invokerv	1
_ZL40not_properly_ordered_assignments_invokerv	1
_ZL50unguarded_recursion_with_parallel_operator_invokerv	1
_ZL53the_bound_c_may_not_show_up_in_linear_process_invokerv	1
_ZL66process_parameters_with_different_types_can_cause_problems_invokerv	1
_ZN12sort_aliases11test_methodEv	1
_ZN13test_bug_775a11test_methodEv	1
_ZN13test_bug_775b11test_methodEv	1
_ZN15various_case_2711test_methodEv	1
_ZN15various_case_2811test_methodEv	1
_ZN15various_case_2911test_methodEv	1
_ZN15various_case_3011test_methodEv	1
_ZN15various_case_3111test_methodEv	1
_ZN15various_case_3211test_methodEv	1
_ZN15various_case_3311test_methodEv	1
_ZN15various_case_3411test_methodEv	1
_ZN16various_case_par11test_methodEv	1
_ZN19unguarded_recursion11test_methodEv	1
_ZN19various_case_LR2par11test_methodEv	1
_ZN20test_aliases_complex11test_methodEv	1
_ZN20various_case_LR2plus11test_methodEv	1
_ZN26test_multiple_action_types11test_methodEv	1
_ZN27test_bug_alphabet_reduction11test_methodEv	1
_ZN28test_bug_alphabet_reduction111test_methodEv	1
_ZN32not_properly_ordered_assignments11test_methodEv	1
_ZN42unguarded_recursion_with_parallel_operator11test_methodEv	1
_ZN45the_bound_c_may_not_show_up_in_linear_process11test_methodEv	1
_ZN58process_parameters_with_different_types_can_cause_problems11test_methodEv	1
_ZN7bug_97811test_methodEv	1
_ZN8bug_108511test_methodEv	1
_ZN8gpa_10_311test_methodEv	1
_Z27run_linearisation_test_caseRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEb	26
_Z26run_linearisation_instanceRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKN5mcrl23lps13t_lin_optionsEb	156

Generated by: LCOV version 1.14