LCOV - code coverage report

Current view: top level - lps/include/mcrl2/lps/detail - make_timed_lps.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 18 26 69.2 % Date: 2024-04-21 03:44:01 Functions: 3 4 75.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZNK5mcrl23lps6detail22make_timed_lps_summandINS_4data24set_identifier_generatorEEclERNS0_16deadlock_summandE	0
_ZN5mcrl23lps6detail14make_timed_lpsINS0_25stochastic_linear_processEEEvRT_RKSt3setIN7atermpp12aterm_stringESt4lessIS8_ESaIS8_EEPNSt9enable_ifIXoosrSt7is_sameIS4_NS0_14linear_processEE5valuesrSG_IS4_S3_E5valueEvE4typeE	5
_ZN5mcrl23lps6detail22make_timed_lps_summandINS_4data24set_identifier_generatorEEC2ERS4_	5
_ZNK5mcrl23lps6detail22make_timed_lps_summandINS_4data24set_identifier_generatorEEclERNS0_14action_summandE	5

Generated by: LCOV version 1.14