LCOV - code coverage report
Current view: top level - lts/include/mcrl2/lts/detail - liblts_weak_bisim.h (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 13 17 76.5 %
Date: 2024-03-08 02:52:28 Functions: 1 2 50.0 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZN5mcrl23lts6detail37destructive_weak_bisimulation_compareINS0_9lts_aut_tEEEbRT_S5_b 0
_ZN5mcrl23lts6detail24weak_bisimulation_reduceINS0_9lts_aut_tEEEvRT_b 35

Generated by: LCOV version 1.14