LCOV - code coverage report

Current view: top level - lts/source - tree_set.cpp (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 86 104 82.7 % Date: 2024-04-21 03:44:01 Functions: 13 14 92.9 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl23lts14tree_set_store12get_set_sizeEl	0
_ZN5mcrl23lts14tree_set_storeC2Ev	75
_ZN5mcrl23lts14tree_set_storeD2Ev	75
_ZN5mcrl23lts14tree_set_store10check_tagsEv	372
_ZN5mcrl23lts14tree_set_store7get_setEl	372
_ZN5mcrl23lts14tree_set_store12get_next_tagEv	447
_ZN5mcrl23lts14tree_set_store13check_bucketsEv	515
_ZN5mcrl23lts14tree_set_store9build_setEll	515
_ZN5mcrl23lts14tree_set_store11set_set_tagEl	545
_ZN5mcrl23lts14tree_set_store18get_set_child_leftEl	558
_ZN5mcrl23lts14tree_set_store19get_set_child_rightEl	651
_ZN5mcrl23lts14tree_set_store8find_setEll	749
_ZN5mcrl23lts14tree_set_store10create_setERSt6vectorIlSaIlEE	1966
_ZN5mcrl23lts14tree_set_store12is_set_emptyEl	3007

Generated by: LCOV version 1.14