LCOV - code coverage report
Current view:
top level
-
modal_formula/include/mcrl2/modal_formula
- normalize.h
(
source
/ functions)
Hit
Total
Coverage
Test:
mcrl2_coverage.info.cleaned
Lines:
119
176
67.6 %
Date:
2024-04-26 03:18:02
Functions:
22
30
73.3 %
Legend:
Lines:
hit
not hit
Function Name
Hit count
_ZN5mcrl214state_formulas17normalize_builder5applyINS0_13state_formulaEEEvRT_RKNS0_3sumE
0
_ZN5mcrl214state_formulas17normalize_builder5applyINS0_13state_formulaEEEvRT_RKNS0_4plusE
0
_ZN5mcrl214state_formulas17normalize_builder5applyINS0_13state_formulaEEEvRT_RKNS0_5delayE
0
_ZN5mcrl214state_formulas17normalize_builder5applyINS0_13state_formulaEEEvRT_RKNS0_5minusE
0
_ZN5mcrl214state_formulas17normalize_builder5applyINS0_13state_formulaEEEvRT_RKNS0_5yaledE
0
_ZN5mcrl214state_formulas17normalize_builder5applyINS0_13state_formulaEEEvRT_RKNS0_7infimumE
0
_ZN5mcrl214state_formulas17normalize_builder5applyINS0_13state_formulaEEEvRT_RKNS0_8supremumE
0
_ZN5mcrl214state_formulas23is_normalized_traverser5enterERKNS0_5minusE
0
_ZN5mcrl214state_formulas17normalize_builder5applyINS0_13state_formulaEEEvRT_RKNS0_11delay_timedE
1
_ZN5mcrl214state_formulas17normalize_builder5applyINS0_13state_formulaEEEvRT_RKNS0_11yaled_timedE
1
_ZN5mcrl214state_formulas17normalize_builder5applyINS0_13state_formulaEEEvRT_RKNS0_6existsE
3
_ZN5mcrl214state_formulas17normalize_builder5applyINS0_13state_formulaEEEvRT_RKNS0_6forallE
3
_ZN5mcrl214state_formulas17normalize_builder5applyINS0_13state_formulaEEEvRT_RKNS_4data15data_expressionE
14
_ZN5mcrl214state_formulas23is_normalized_traverser5enterERKNS0_3impE
14
_ZN5mcrl214state_formulas17normalize_builder5applyINS0_13state_formulaEEEvRT_RKNS0_3impE
15
_ZN5mcrl214state_formulas17normalize_builder5applyINS0_13state_formulaEEEvRT_RKNS0_6false_E
19
_ZN5mcrl214state_formulas17normalize_builder5applyINS0_13state_formulaEEEvRT_RKNS0_2nuE
21
_ZN5mcrl214state_formulas17normalize_builder5applyINS0_13state_formulaEEEvRT_RKNS0_4and_E
36
_ZN5mcrl214state_formulas17normalize_builder5applyINS0_13state_formulaEEEvRT_RKNS0_2muE
42
_ZN5mcrl214state_formulas17normalize_builder5applyINS0_13state_formulaEEEvRT_RKNS0_3or_E
46
_ZN5mcrl214state_formulas17normalize_builder5applyINS0_13state_formulaEEEvRT_RKNS0_4mustE
46
_ZN5mcrl214state_formulas17normalize_builder5applyINS0_13state_formulaEEEvRT_RKNS0_5true_E
51
_ZN5mcrl214state_formulas17normalize_builder5applyINS0_13state_formulaEEEvRT_RKNS0_8variableE
63
_ZN5mcrl214state_formulas17normalize_builderC2Ebb
67
_ZN5mcrl214state_formulas9normalizeINS0_13state_formulaEEET_RKS3_bbPNSt9enable_ifIXsrSt10is_base_ofIN7atermpp5atermES3_E5valueEvE4typeE
67
_ZN5mcrl214state_formulas23is_normalized_traverser5enterERKNS0_4not_E
73
_ZN5mcrl214state_formulas17normalize_builder5applyINS0_13state_formulaEEEvRT_RKNS0_3mayE
80
_ZN5mcrl214state_formulas17normalize_builder5applyINS0_13state_formulaEEEvRT_RKNS0_4not_E
127
_ZN5mcrl214state_formulas13is_normalizedINS0_13state_formulaEEEbRKT_
207
_ZN5mcrl214state_formulas23is_normalized_traverserC2Ev
207
Generated by:
LCOV version 1.14