LCOV - code coverage report
Current view: top level - pbes/include/mcrl2/pbes - abstract.h (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 43 50 86.0 %
Date: 2024-03-08 02:52:28 Functions: 7 8 87.5 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZN5mcrl211pbes_system6detail21pbes_abstract_builder5applyINS0_15pbes_expressionEEEvRT_RKNS0_6forallE 0
_ZN5mcrl211pbes_system6detail21pbes_abstract_builder13pop_variablesEv 1
_ZN5mcrl211pbes_system6detail21pbes_abstract_builder14push_variablesERKN7atermpp9term_listINS_4data8variableEEE 1
_ZN5mcrl211pbes_system6detail21pbes_abstract_builder5applyINS0_15pbes_expressionEEEvRT_RKNS0_6existsE 1
_ZNK5mcrl211pbes_system6detail21pbes_abstract_builder8is_boundERKNS_4data8variableE 2
_ZN5mcrl211pbes_system23pbes_abstract_algorithm3runERNS0_4pbesERKSt3mapIN7atermpp12aterm_stringESt6vectorINS_4data8variableESaIS9_EESt4lessIS6_ESaISt4pairIKS6_SB_EEEb 3
_ZN5mcrl211pbes_system6detail21pbes_abstract_builder5applyINS0_15pbes_expressionEEEvRT_RKNS_4data15data_expressionE 3
_ZN5mcrl211pbes_system6detail21pbes_abstract_builderC2ERKSt6vectorINS_4data8variableESaIS5_EEb 3

Generated by: LCOV version 1.14