LCOV - code coverage report

Current view: top level - data/test - replace_test.cpp (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 136 140 97.1 % Date: 2024-04-26 03:18:02 Functions: 20 20 100.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZL22test_variables_invokerv	1
_ZL24test_ticket_1209_invokerv	1
_ZL28test_assignment_list_invokerv	1
_ZL29test_variable_replace_invokerv	1
_ZL33test_replace_with_binders_invokerv	1
_ZL35test_replace_free_variables_invokerv	1
_ZL47replace_variables_capture_avoiding_test_invokerv	1
_ZN14test_variables11test_methodEv	1
_ZN16test_ticket_120911test_methodEv	1
_ZN20test_assignment_list11test_methodEv	1
_ZN21test_variable_replace11test_methodEv	1
_ZN25test_replace_with_binders11test_methodEv	1
_ZN27test_replace_free_variables11test_methodEv	1
_ZN39replace_variables_capture_avoiding_test11test_methodEv	1
_Z12check_resultRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES6_S6_S6_	10
_Z18parse_substitutionRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKSt6vectorIN5mcrl24data8variableESaISA_EE	10
_Z21parse_data_expressionRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	10
_Z39test_replace_variables_capture_avoidingRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES6_S6_	10
_Z16variable_contextv	20
_Z5bool_RKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	584

Generated by: LCOV version 1.14