LCOV - code coverage report

Current view: top level - lts/include/mcrl2/lts/detail - liblts_ready_sim.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 89 100 89.0 % Date: 2024-04-21 03:44:01 Functions: 6 7 85.7 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl23lts6detail21ready_sim_partitionerINS0_9lts_aut_tEE15print_structureB5cxx11EP11hash_table2	0
_ZN5mcrl23lts6detail21ready_sim_partitionerINS0_9lts_aut_tEE19ready2sim_reductionEv	16
_ZN5mcrl23lts6detail21ready_sim_partitionerINS0_9lts_aut_tEE22partitioning_algorithmEv	16
_ZN5mcrl23lts6detail21ready_sim_partitionerINS0_9lts_aut_tEE7refineiEv	16
_ZN5mcrl23lts6detail21ready_sim_partitionerINS0_9lts_aut_tEE7updateiEv	16
_ZN5mcrl23lts6detail21ready_sim_partitionerINS0_9lts_aut_tEEC2ERS3_	16
_ZN5mcrl23lts6detail21ready_sim_partitionerINS0_9lts_aut_tEED2Ev	16

Generated by: LCOV version 1.14