LCOV - code coverage report
Current view:
top level
-
pbes/include/mcrl2/pbes/detail
- bqnf_quantifier_rewriter.h
(
source
/ functions)
Hit
Total
Coverage
Test:
mcrl2_coverage.info.cleaned
Lines:
66
189
34.9 %
Date:
2024-05-01 03:37:31
Functions:
4
9
44.4 %
Legend:
Lines:
hit
not hit
Function Name
Hit count
_ZN5mcrl211pbes_system6detail24bqnf_quantifier_rewriter11rewrite_andERKNS0_15pbes_expressionE
0
_ZN5mcrl211pbes_system6detail24bqnf_quantifier_rewriter11rewrite_impERKNS0_15pbes_expressionE
0
_ZN5mcrl211pbes_system6detail24bqnf_quantifier_rewriter12filter_guardERKNS0_15pbes_expressionES5_RKN7atermpp9term_listINS_4data8variableEEE
0
_ZN5mcrl211pbes_system6detail24bqnf_quantifier_rewriter22rewrite_bounded_existsERKNS0_15pbes_expressionE
0
_ZN5mcrl211pbes_system6detail24bqnf_quantifier_rewriter6filterERKNS0_15pbes_expressionERKSt3setINS_4data8variableESt4lessIS8_ESaIS8_EE
0
_ZN5mcrl211pbes_system6detail24bqnf_quantifier_rewriter22rewrite_bounded_forallERKNS0_15pbes_expressionE
1
_ZN5mcrl211pbes_system6detail24bqnf_quantifier_rewriterC2Ev
1
_ZN5mcrl211pbes_system6detail24bqnf_quantifier_rewriter10rewrite_orERKNS0_15pbes_expressionE
2
_ZN5mcrl211pbes_system6detail24bqnf_quantifier_rewriter23rewrite_bqnf_expressionERKNS0_15pbes_expressionE
10
Generated by:
LCOV version 1.14