LCOV - code coverage report
Current view: top level - pbes/test - eqelm_test.cpp (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 47 52 90.4 %
Date: 2024-04-26 03:18:02 Functions: 4 4 100.0 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_Z10test_eqelmRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEb 1
_ZL19eqelm_test1_invokerv 1
_ZN11eqelm_test111test_methodEv 1
_Z9test_pbesRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKSt6vectorIS4_SaIS4_EEbbS6_ 2

Generated by: LCOV version 1.14