LCOV - code coverage report

Current view: top level - data/include/mcrl2/data/detail/rewrite - jittyc.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 17 24 70.8 % Date: 2024-04-19 03:43:27 Functions: 5 9 55.6 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl24data6detail22RewriterCompilingJitty18bound_variable_getEm	0
_ZN5mcrl24data6detail22RewriterCompilingJitty25binding_variable_list_getEm	0
_ZN5mcrl24data6detail22RewriterCompilingJitty5cloneEv	0
_ZN5mcrl24data6detail22RewriterCompilingJittyC2ERS2_	0
_ZN5mcrl24data6detail17normal_form_cacheC2Ev	5
_ZN5mcrl24data6detail17normal_form_cacheD2Ev	5
_ZN5mcrl24data6detail22RewriterCompilingJitty17thread_initialiseEv	5
_ZNK5mcrl24data6detail17normal_form_cache5emptyEv	5
_ZN5mcrl24data6detail17normal_form_cache6insertB5cxx11ERKNS0_15data_expressionE	926

Generated by: LCOV version 1.14