LCOV - code coverage report
Current view: top level - pbes/include/mcrl2/pbes/rewriters - one_point_rule_rewriter.h (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 46 50 92.0 %
Date: 2019-07-19 02:46:18 Functions: 6 6 100.0 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZN5mcrl211pbes_system6detail30one_point_rule_rewrite_builderINS_4core13apply_builderIS2_EEE5applyERKNS0_4not_E 2
_ZN5mcrl211pbes_system6detail30one_point_rule_rewrite_builderINS_4core13apply_builderIS2_EEE5applyERKNS0_6forallE 109
_ZN5mcrl211pbes_system6detail30one_point_rule_rewrite_builderINS_4core13apply_builderIS2_EEE5applyERKNS0_6existsE 115
_ZN5mcrl211pbes_system6detail30one_point_rule_rewrite_builderINS_4core13apply_builderIS2_EEE7derivedEv 226
_ZNK5mcrl211pbes_system23one_point_rule_rewriterclERKNS0_15pbes_expressionE 573
_ZN5mcrl211pbes_system6detail30one_point_rule_rewrite_builderINS_4core13apply_builderIS2_EEE5applyERKNS_4data15data_expressionE 1314

Generated by: LCOV version 1.12