LCOV - code coverage report
Current view:
top level
-
data/include/mcrl2/data/detail/rewrite
- jitty_jittyc.h
(
source
/ functions)
Hit
Total
Coverage
Test:
mcrl2_coverage.info.cleaned
Lines:
72
81
88.9 %
Date:
2024-03-08 02:52:28
Functions:
9
11
81.8 %
Legend:
Lines:
hit
not hit
Function Name
Hit count
_ZN5mcrl24data6detail13get_free_varsERKNS0_15data_expressionE
2388793
_ZN5mcrl24data6detail13residual_sortERKNS0_15sort_expressionEm
41
_ZN5mcrl24data6detail15get_nested_headERKNS0_15data_expressionE
1694578
_ZN5mcrl24data6detail19replace_nested_headERKNS0_15data_expressionES4_
0
_ZN5mcrl24data6detail21rewrite_all_argumentsI15rewrite_functorEEvRNS0_15data_expressionERKNS0_11applicationET_
0
_ZN5mcrl24data6detail22get_nested_head_helperERKNS0_11applicationE
8422
_ZN5mcrl24data6detail24recursive_number_of_argsERKNS0_15data_expressionE
11450107
_ZN5mcrl24data6detail25double_variable_traverserINS0_18variable_traverserEE5applyERKNS0_8variableE
1998192
_ZN5mcrl24data6detail25double_variable_traverserINS0_18variable_traverserEE6resultEv
897740
_ZN5mcrl24data6detail33get_argument_of_higher_order_termERKNS0_11applicationEm
8269668
_ZN5mcrl24data6detail40get_argument_of_higher_order_term_helperERKNS0_11applicationERm
115439
Generated by:
LCOV version 1.14