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 79 91.1 %
Date: 2020-10-20 00:45:57 Functions: 11 13 84.6 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZN5mcrl24data6detail19replace_nested_headERKNS0_15data_expressionES4_ 0
_ZN5mcrl24data6detail21rewrite_all_argumentsI15rewrite_functorEEKNS0_15data_expressionERKNS0_11applicationET_ 0
_ZN5mcrl24data6detail13residual_sortERKNS0_15sort_expressionEm 31
_ZN5mcrl24data6detail22get_nested_head_helperERKNS0_11applicationE 6278
_ZN5mcrl24data6detail40get_argument_of_higher_order_term_helperERKNS0_11applicationERm 61113
_ZN5mcrl24data6detail25double_variable_traverserINS0_18variable_traverserEE6resultEv 816146
_ZN5mcrl24data6detail25double_variable_traverserINS0_18variable_traverserEEC2Ev 1066042
_ZN5mcrl24data6detail25double_variable_traverserINS0_18variable_traverserEED2Ev 1066042
_ZN5mcrl24data6detail25double_variable_traverserINS0_18variable_traverserEE5applyERKNS0_8variableE 1779112
_ZN5mcrl24data6detail13get_free_varsERKNS0_15data_expressionE 2191946
_ZN5mcrl24data6detail15get_nested_headERKNS0_15data_expressionE 3164642
_ZN5mcrl24data6detail33get_argument_of_higher_order_termERKNS0_11applicationEm 15489628
_ZN5mcrl24data6detail24recursive_number_of_argsERKNS0_15data_expressionE 21342840

Generated by: LCOV version 1.13