LCOV - code coverage report
Current view:
top level
-
data/include/mcrl2/data/rewriters
- simplify_rewriter.h
(
source
/ functions)
Hit
Total
Coverage
Test:
mcrl2_coverage.info.cleaned
Lines:
49
63
77.8 %
Date:
2024-04-19 03:43:27
Functions:
10
10
100.0 %
Legend:
Lines:
hit
not hit
Function Name
Hit count
_ZN5mcrl24data6detail24simplify_rewrite_builderINS_4core13apply_builderIS2_EEE5applyINS0_15data_expressionEEEvRT_RKNS0_6existsE
1
_ZN5mcrl24data6detail24simplify_rewrite_builderINS_4core13apply_builderIS2_EEE5applyINS0_15data_expressionEEEvRT_RKNS0_6forallE
1
_ZN5mcrl24data8simplifyINS0_15data_expressionEEET_RKS3_PNSt9enable_ifIXsrSt10is_base_ofIN7atermpp5atermES3_E5valueEvE4typeE
109
_ZNK5mcrl24data17simplify_rewriterclERKNS0_15data_expressionE
221
_ZNK5mcrl24data6detail24simplify_rewrite_builderINS_4core13apply_builderIS2_EEE5is_orERKNS0_15data_expressionE
318
_ZNK5mcrl24data6detail24simplify_rewrite_builderINS_4core13apply_builderIS2_EEE6is_impERKNS0_15data_expressionE
318
_ZNK5mcrl24data6detail24simplify_rewrite_builderINS_4core13apply_builderIS2_EEE6is_andERKNS0_15data_expressionE
323
_ZN5mcrl24data6detail24simplify_rewrite_builderINS_4core13apply_builderIS2_EEE5applyINS0_15data_expressionEEEvRT_RKNS0_11applicationE
326
_ZNK5mcrl24data6detail24simplify_rewrite_builderINS_4core13apply_builderIS2_EEE6is_notERKNS0_15data_expressionE
326
_ZN5mcrl24data6detail24simplify_rewrite_builderINS_4core13apply_builderIS2_EEE7derivedEv
667
Generated by:
LCOV version 1.14