LCOV - code coverage report

Current view: top level - lts/include/mcrl2/lts - sigref.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 140 149 94.0 % Date: 2024-04-19 03:43:27 Functions: 25 28 89.3 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl23lts6sigrefINS0_9lts_aut_tENS0_15signature_bisimIS2_EEE9print_sigB5cxx11ERKSt3setISt4pairImmESt4lessIS8_ESaIS8_EE	0
_ZN5mcrl23lts6sigrefINS0_9lts_aut_tENS0_25signature_branching_bisimIS2_EEE9print_sigB5cxx11ERKSt3setISt4pairImmESt4lessIS8_ESaIS8_EE	0
_ZN5mcrl23lts6sigrefINS0_9lts_aut_tENS0_47signature_divergence_preserving_branching_bisimIS2_EEE9print_sigB5cxx11ERKSt3setISt4pairImmESt4lessIS8_ESaIS8_EE	0
_ZN5mcrl23lts47signature_divergence_preserving_branching_bisimINS0_9lts_aut_tEE16compute_tau_sccsEv	15
_ZN5mcrl23lts47signature_divergence_preserving_branching_bisimINS0_9lts_aut_tEE20quotient_transitionsERSt3setINS0_10transitionESt4lessIS5_ESaIS5_EERKSt6vectorImSaImEE	15
_ZN5mcrl23lts47signature_divergence_preserving_branching_bisimINS0_9lts_aut_tEEC2ERKS2_	15
_ZN5mcrl23lts6sigrefINS0_9lts_aut_tENS0_47signature_divergence_preserving_branching_bisimIS2_EEE17compute_partitionEv	15
_ZN5mcrl23lts6sigrefINS0_9lts_aut_tENS0_47signature_divergence_preserving_branching_bisimIS2_EEE3runEv	15
_ZN5mcrl23lts6sigrefINS0_9lts_aut_tENS0_47signature_divergence_preserving_branching_bisimIS2_EEE8quotientEv	15
_ZN5mcrl23lts6sigrefINS0_9lts_aut_tENS0_47signature_divergence_preserving_branching_bisimIS2_EEEC2ERS2_	15
_ZN5mcrl23lts15signature_bisimINS0_9lts_aut_tEEC2ERKS2_	21
_ZN5mcrl23lts25signature_branching_bisimINS0_9lts_aut_tEE20quotient_transitionsERSt3setINS0_10transitionESt4lessIS5_ESaIS5_EERKSt6vectorImSaImEE	21
_ZN5mcrl23lts6sigrefINS0_9lts_aut_tENS0_15signature_bisimIS2_EEE17compute_partitionEv	21
_ZN5mcrl23lts6sigrefINS0_9lts_aut_tENS0_15signature_bisimIS2_EEE3runEv	21
_ZN5mcrl23lts6sigrefINS0_9lts_aut_tENS0_15signature_bisimIS2_EEE8quotientEv	21
_ZN5mcrl23lts6sigrefINS0_9lts_aut_tENS0_15signature_bisimIS2_EEEC2ERS2_	21
_ZN5mcrl23lts6sigrefINS0_9lts_aut_tENS0_25signature_branching_bisimIS2_EEE17compute_partitionEv	21
_ZN5mcrl23lts6sigrefINS0_9lts_aut_tENS0_25signature_branching_bisimIS2_EEE3runEv	21
_ZN5mcrl23lts6sigrefINS0_9lts_aut_tENS0_25signature_branching_bisimIS2_EEE8quotientEv	21
_ZN5mcrl23lts6sigrefINS0_9lts_aut_tENS0_25signature_branching_bisimIS2_EEEC2ERS2_	21
_ZN5mcrl23lts9signatureINS0_9lts_aut_tEE20quotient_transitionsERSt3setINS0_10transitionESt4lessIS5_ESaIS5_EERKSt6vectorImSaImEE	21
_ZN5mcrl23lts25signature_branching_bisimINS0_9lts_aut_tEEC2ERKS2_	36
_ZN5mcrl23lts47signature_divergence_preserving_branching_bisimINS0_9lts_aut_tEE17compute_signatureERKSt6vectorImSaImEE	38
_ZN5mcrl23lts25signature_branching_bisimINS0_9lts_aut_tEE17compute_signatureERKSt6vectorImSaImEE	50
_ZN5mcrl23lts9signatureINS0_9lts_aut_tEEC2ERKS2_	57
_ZN5mcrl23lts15signature_bisimINS0_9lts_aut_tEE17compute_signatureERKSt6vectorImSaImEE	62
_ZN5mcrl23lts25signature_branching_bisimINS0_9lts_aut_tEE6insertERKSt6vectorImSaImEEmmm	3497
_ZNK5mcrl23lts9signatureINS0_9lts_aut_tEE13get_signatureEm	5838

Generated by: LCOV version 1.14