LCOV - code coverage report

Current view: top level - process/test - replace_test.cpp (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 83 97 85.6 % Date: 2024-04-19 03:43:27 Functions: 12 13 92.3 % Legend: Lines: hit not hit

Function Name	Hit count
_Z15sigma_variablesRKN5mcrl24data24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessIS3_ESaISt4pairIKS3_S4_EEEEE	0
_Z12check_resultRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES6_S6_S6_	1
_Z16parse_expressionRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	1
_Z16variable_contextv	1
_Z18parse_substitutionRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKSt6vectorIN5mcrl24data8variableESaISA_EE	1
_Z39test_replace_variables_capture_avoidingRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES6_S6_	1
_ZL40process_instance_assignment_test_invokerv	1
_ZL40replace_process_identifiers_test_invokerv	1
_ZL47replace_variables_capture_avoiding_test_invokerv	1
_ZN32process_instance_assignment_test11test_methodEv	1
_ZN32replace_process_identifiers_test11test_methodEv	1
_ZN39replace_variables_capture_avoiding_test11test_methodEv	1
_Z9make_boolRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	24

Generated by: LCOV version 1.14