LCOV - code coverage report

Current view: top level - pbes/include/mcrl2/pbes/detail - test_utility.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 10 10 100.0 % Date: 2024-05-04 03:44:52 Functions: 5 5 100.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl211pbes_system6detail3posERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	2
_ZN5mcrl211pbes_system6detail11propvarinstERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKN7atermpp9term_listINS_4data15data_expressionEEE	6
_ZN5mcrl211pbes_system6detail7propvarERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKN7atermpp9term_listINS_4data8variableEEE	6
_ZN5mcrl211pbes_system6detail5bool_ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	12
_ZN5mcrl211pbes_system6detail3natERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	15

Generated by: LCOV version 1.14