LCOV - code coverage report
Current view: top level - atermpp/test - aterm_balanced_tree_test.cpp (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 32 32 100.0 %
Date: 2020-10-20 00:45:57 Functions: 6 6 100.0 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_GLOBAL__sub_I_aterm_balanced_tree_test.cpp 1
_Z41__static_initialization_and_destruction_0ii 1
_ZL32test_aterm_balanced_tree_invokerv 1
_ZN24test_aterm_balanced_tree11test_methodEv 1
_ZN7counterC2ERi 2
_ZNK7counterclERKN7atermpp5atermE 20

Generated by: LCOV version 1.13