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: 25 26 96.2 %
Date: 2020-10-20 00:45:57 Functions: 5 5 100.0 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZN5mcrl23lts6detail23compare_transitions_sltC2ERKSt3setImSt4lessImESaImEE 302
_ZN5mcrl23lts6detail23compare_transitions_ltsC2ERKSt3setImSt4lessImESaImEE 640
_ZN5mcrl23lts6detail23compare_transitions_sltclERKNS0_10transitionES5_ 9984
_ZN5mcrl23lts6detail23compare_transitions_ltsclERKNS0_10transitionES5_ 13745
_ZN5mcrl23lts6detail19apply_hidden_labelsEmRKSt3setImSt4lessImESaImEE 30527

Generated by: LCOV version 1.13