LCOV - code coverage report
Current view:
top level
-
atermpp/include/mcrl2/atermpp/detail
- aterm_pool.h
(
source
/ functions)
Hit
Total
Coverage
Test:
mcrl2_coverage.info.cleaned
Lines:
26
26
100.0 %
Date:
2024-05-01 03:37:31
Functions:
12
12
100.0 %
Legend:
Lines:
hit
not hit
Function Name
Hit count
_ZN7atermpp6detail10aterm_pool6as_intEv
143
_ZN7atermpp6detail10aterm_pool12shared_mutexEv
144
_ZN7atermpp6detail27thread_aterm_pool_interfaceC2ERNS0_10aterm_poolESt8functionIFvvEES6_S4_IFmvEE
144
_ZN7atermpp6detail27thread_aterm_pool_interfaceD2Ev
144
_ZN7atermpp6detail27thread_aterm_pool_interface10unregisterEv
145
_ZN7atermpp6detail27thread_aterm_pool_interface4markEv
1917
_ZNK7atermpp6detail27thread_aterm_pool_interface19protection_set_sizeEv
1917
_ZNK7atermpp6detail27thread_aterm_pool_interface34print_local_performance_statisticsEv
1917
_ZN7atermpp6detail10aterm_pool15get_symbol_poolEv
5223
_ZN7atermpp6detail10aterm_pool13as_empty_listEv
2378940601
_ZN7atermpp6detail10aterm_pool10empty_listEv
2381656168
_ZN7atermpp6detail10aterm_pool7as_listEv
6924146843
Generated by:
LCOV version 1.14