LCOV - code coverage report

Current view: top level - pbes/include/mcrl2/pbes - fixpoint_symbol.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 21 21 100.0 % Date: 2024-05-01 03:37:31 Functions: 11 11 100.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZNK5mcrl211pbes_system15fixpoint_symbol5is_nuEv	43
_ZN5mcrl211pbes_system15fixpoint_symbolC2Ev	62
_ZN5mcrl211pbes_systemlsERSoRKNS0_15fixpoint_symbolE	88
_ZN5mcrl211pbes_system15fixpoint_symbolaSEOS1_	98
_ZN5mcrl211pbes_system15fixpoint_symbolaSERKS1_	135
_ZN5mcrl211pbes_system15fixpoint_symbol2nuEv	630
_ZNK5mcrl211pbes_system15fixpoint_symbol5is_muEv	747
_ZN5mcrl211pbes_system15fixpoint_symbol2muEv	3129
_ZN5mcrl211pbes_system15fixpoint_symbolC2ERKN7atermpp5atermE	3759
_ZN5mcrl211pbes_system15fixpoint_symbolC2EOS1_	7801
_ZN5mcrl211pbes_system15fixpoint_symbolC2ERKS1_	12391

Generated by: LCOV version 1.14