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 Sort by function name Hit count Sort by 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