LCOV - code coverage report

Current view: top level - atermpp/test - replace_test.cpp (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 109 115 94.8 % Date: 2024-04-21 03:44:01 Functions: 26 27 96.3 % Legend: Lines: hit not hit

Function Name	Hit count
_Z32function_symbol_DataVarIdNoIndexv	0
_Z27function_symbol_OpIdNoIndexv	1
_ZL17find_test_invokerv	1
_ZL21replace_test1_invokerv	1
_ZL21replace_test2_invokerv	1
_ZL21replace_test3_invokerv	1
_ZL30bottom_up_replace_test_invokerv	1
_ZL37cached_bottom_up_replace_test_invokerv	1
_ZN13replace_test111test_methodEv	1
_ZN13replace_test211test_methodEv	1
_ZN13replace_test311test_methodEv	1
_ZN22bottom_up_replace_test11test_methodEv	1
_ZN29cached_bottom_up_replace_test11test_methodEv	1
_ZN9find_test11test_methodEv	1
_ZNK19fg_partial_replacerclEN7atermpp9term_applINS0_5atermEEE	1
_Z2f2v	2
_Z34function_symbol_PropVarInstNoIndexv	2
_ZNK4is_gclERKN7atermpp9term_applINS0_5atermEEE	3
_ZNK4is_zclERKN7atermpp9term_applINS0_5atermEEE	4
_ZNK11fg_replacerclERKN7atermpp9term_applINS0_5atermEEE	5
_Z2f3v	9
_ZNK9replace_fclERKN7atermpp9term_applINS0_5atermEEE	9
_Z27function_symbol_PropVarInstv	10
_Z20function_symbol_OpIdv	11
_Z25function_symbol_DataVarIdv	11
_ZNK13index_removerclERKN7atermpp9term_applINS0_5atermEEE	11
_ZNK4is_fclERKN7atermpp9term_applINS0_5atermEEE	24

Generated by: LCOV version 1.14