LCOV - code coverage report
Current view: top level - lts/include/mcrl2/lts/detail - transition.h (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 26 27 96.3 %
Date: 2020-09-22 00:46:14 Functions: 5 5 100.0 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZN5mcrl23lts6detail23compare_transitions_ltsC2ERKSt3mapImmSt4lessImESaISt4pairIKmmEEE 640
_ZN5mcrl23lts6detail23compare_transitions_ltsclERKNS0_10transitionES5_ 13745
_ZN5mcrl23lts6detail23compare_transitions_sltC2ERKSt3mapImmSt4lessImESaISt4pairIKmmEEE 302
_ZN5mcrl23lts6detail23compare_transitions_sltclERKNS0_10transitionES5_ 9984
_ZN5mcrl23lts6detail9apply_mapEmRKSt3mapImmSt4lessImESaISt4pairIKmmEEE 30527

Generated by: LCOV version 1.13