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: 2024-03-08 02:52:28 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 161
_ZN5mcrl23lts6detail23compare_transitions_ltsC2ERKSt3setImSt4lessImESaImEE 504
_ZN5mcrl23lts6detail23compare_transitions_sltclERKNS0_10transitionES5_ 6938
_ZN5mcrl23lts6detail23compare_transitions_ltsclERKNS0_10transitionES5_ 10359
_ZN5mcrl23lts6detail19apply_hidden_labelsEmRKSt3setImSt4lessImESaImEE 22899

Generated by: LCOV version 1.14