LCOV - code coverage report

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

Function Name	Hit count
_ZL15bug_367_invokerv	1
_ZL15bug_380_invokerv	1
_ZL16equality_invokerv	1
_ZL17twice_lhs_invokerv	1
_ZL24actions_and_time_invokerv	1
_ZL24reverse_equality_invokerv	1
_ZL29three_sums_remove_two_invokerv	1
_ZL30both_sides_of_equality_invokerv	1
_ZL30test_boolean_variables_invokerv	1
_ZL33no_occurrence_of_variable_invokerv	1
_ZL47no_unconditional_sum_removal_from_delta_invokerv	1
_ZN16actions_and_time11test_methodEv	1
_ZN16reverse_equality11test_methodEv	1
_ZN21three_sums_remove_two11test_methodEv	1
_ZN22both_sides_of_equality11test_methodEv	1
_ZN22test_boolean_variables11test_methodEv	1
_ZN25no_occurrence_of_variable11test_methodEv	1
_ZN39no_unconditional_sum_removal_from_delta11test_methodEv	1
_ZN7bug_36711test_methodEv	1
_ZN7bug_38011test_methodEv	1
_ZN8equality11test_methodEv	1
_ZN9twice_lhs11test_methodEv	1
_Z20print_specificationsRKN5mcrl23lps13specificationES3_	11

Generated by: LCOV version 1.14