LCOV - code coverage report

Current view: top level - lps/include/mcrl2/lps - untime.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 75 92 81.5 % Date: 2024-05-01 03:37:31 Functions: 5 10 50.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl23lps16untime_algorithmINS0_24stochastic_specificationEE24calculate_time_invariantEv	0
_ZN5mcrl23lps16untime_algorithmINS0_24stochastic_specificationEE3runEv	0
_ZN5mcrl23lps16untime_algorithmINS0_24stochastic_specificationEE6untimeERNS0_25stochastic_action_summandE	0
_ZN5mcrl23lps16untime_algorithmINS0_24stochastic_specificationEEC2ERS2_bbRKNS_4data8rewriterE	0
_ZN5mcrl23lps6detail24make_process_initializerINS0_30stochastic_process_initializerEEET_RKN7atermpp9term_listINS_4data15data_expressionEEERKS4_	0
_ZN5mcrl23lps16untime_algorithmINS0_13specificationEE24calculate_time_invariantEv	3
_ZN5mcrl23lps6detail24make_process_initializerINS0_19process_initializerEEET_RKN7atermpp9term_listINS_4data15data_expressionEEERKS4_	3
_ZN5mcrl23lps16untime_algorithmINS0_13specificationEE3runEv	4
_ZN5mcrl23lps16untime_algorithmINS0_13specificationEEC2ERS2_bbRKNS_4data8rewriterE	4
_ZN5mcrl23lps16untime_algorithmINS0_13specificationEE6untimeERNS0_14action_summandE	8

Generated by: LCOV version 1.14