LCOV - code coverage report | |||||||||||||||||||||||||
|
|||||||||||||||||||||||||
Function Name | 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 |