LCOV - code coverage report

Current view: top level - lts/include/mcrl2/lts/detail - sim_hashtable.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 12 22 54.5 % Date: 2024-04-26 03:18:02 Functions: 5 10 50.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN20hash_table2_iterator5get_xEv	0
_ZN20hash_table2_iterator5get_yEv	0
_ZN20hash_table2_iterator6is_endEv	0
_ZN20hash_table3_iterator5get_yEv	0
_ZN20hash_table3_iterator5get_zEv	0
_ZN20hash_table3_iterator5get_xEv	3057
_ZN20hash_table3_iterator3setEm	9585
_ZN20hash_table3_iterator7set_endEm	9732
_ZN11hash_table316get_num_elementsEv	10565
_ZN20hash_table3_iterator6is_endEv	12642

Generated by: LCOV version 1.14