LCOV - code coverage report

Current view: top level - lts/include/mcrl2/lts/detail - liblts_scc.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 108 109 99.1 % Date: 2024-04-19 03:43:27 Functions: 14 14 100.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZNK5mcrl23lts6detail15scc_partitionerINS0_9lts_aut_tEE13in_same_classEmm	25
_ZN5mcrl23lts10scc_reduceINS0_9lts_aut_tEEEvRT_b	209
_ZN5mcrl23lts6detail15scc_partitionerINS0_9lts_aut_tEE25replace_transition_systemEb	240
_ZN5mcrl23lts6detail15scc_partitionerINS0_9lts_aut_tEEC2ERS3_	288
_ZN5mcrl23lts6detail15scc_partitionerINS0_9lts_aut_tEED2Ev	288
_ZN5mcrl23lts6detail41indexed_sorted_vector_for_tau_transitionsINS0_9lts_aut_tEE5clearEv	288
_ZNK5mcrl23lts6detail15scc_partitionerINS0_9lts_aut_tEE12get_eq_classEm	321
_ZNK5mcrl23lts6detail15scc_partitionerINS0_9lts_aut_tEE14num_eq_classesEv	425
_ZN5mcrl23lts6detail41indexed_sorted_vector_for_tau_transitionsINS0_9lts_aut_tEEC2ERKS3_b	576
_ZNK5mcrl23lts6detail41indexed_sorted_vector_for_tau_transitionsINS0_9lts_aut_tEE15get_transitionsEv	4154
_ZN5mcrl23lts6detail15scc_partitionerINS0_9lts_aut_tEE16group_componentsEmmRKNS1_41indexed_sorted_vector_for_tau_transitionsIS3_EERSt6vectorIbSaIbEE	4235
_ZN5mcrl23lts6detail15scc_partitionerINS0_9lts_aut_tEE13dfs_numberingEmRKNS1_41indexed_sorted_vector_for_tau_transitionsIS3_EERSt6vectorIbSaIbEE	4763
_ZNK5mcrl23lts6detail41indexed_sorted_vector_for_tau_transitionsINS0_9lts_aut_tEE10lowerboundEm	5372
_ZNK5mcrl23lts6detail41indexed_sorted_vector_for_tau_transitionsINS0_9lts_aut_tEE10upperboundEm	5372

Generated by: LCOV version 1.14