LCOV - code coverage report
Current view:
top level
-
pbes/include/mcrl2/pbes/detail
- pbes_greybox_interface.h
(
source
/ functions)
Hit
Total
Coverage
Test:
mcrl2_coverage.info.cleaned
Lines:
71
96
74.0 %
Date:
2024-05-01 03:37:31
Functions:
10
10
100.0 %
Legend:
Lines:
hit
not hit
Function Name
Hit count
_ZN5mcrl211pbes_system6detail22pbes_greybox_interfaceC2ERNS0_4pbesEbbNS_4data16rewrite_strategyE
6
_ZN5mcrl211pbes_system6detail22pbes_greybox_interfaceD0Ev
6
_ZN5mcrl211pbes_system6detail22pbes_greybox_interfaceD2Ev
6
_ZN5mcrl211pbes_system6detail22pbes_greybox_interface17get_initial_stateEv
12
_ZN5mcrl211pbes_system6detail22pbes_greybox_interface17get_pbes_equationERKN7atermpp12aterm_stringE
14
_ZN5mcrl211pbes_system6detail22pbes_greybox_interface31rewrite_and_simplify_expressionERKNS0_15pbes_expressionEb
52
_ZN5mcrl211pbes_system6detail22pbes_greybox_interface12expand_groupERKNS0_15pbes_expressionES5_
866
_ZN5mcrl211pbes_system6detail22pbes_greybox_interface14get_successorsERKNS0_15pbes_expressionE
866
_ZN5mcrl211pbes_system6detail22pbes_greybox_interface14get_successorsERKNS0_15pbes_expressionERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_
866
_ZN5mcrl211pbes_system6detail22pbes_greybox_interface16print_successorsB5cxx11ERKSt3setINS0_15pbes_expressionESt4lessIS4_ESaIS4_EE
1732
Generated by:
LCOV version 1.14