LCOV - code coverage report

Current view: top level - atermpp/test - down_cast_test.cpp (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 50 53 94.3 % Date: 2024-04-19 03:43:27 Functions: 14 15 93.3 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN2t2C2ERKN7atermpp5atermE	0
_Z1fRK2t3	1
_ZL22function_calls_invokerv	1
_ZL23aterm_down_cast_invokerv	1
_ZL27no_down_cast_needed_invokerv	1
_ZL28aterm_container_cast_invokerv	1
_ZN14function_calls11test_methodEv	1
_ZN15aterm_down_cast11test_methodEv	1
_ZN19no_down_cast_needed11test_methodEv	1
_ZN20aterm_container_cast11test_methodEv	1
_ZN2t1C2ERKN7atermpp5atermE	1
_ZN2t3C2ERKN7atermpp5atermE	1
_ZN2t1C2Ei	2
_ZN2t2C2ERK2t1	2
_ZN2t3C2ERK2t1	3

Generated by: LCOV version 1.14