LCOV - code coverage report

Current view: top level - lps/include/mcrl2/lps/detail - ultimate_delay.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 22 22 100.0 % Date: 2024-04-21 03:44:01 Functions: 8 8 100.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl23lps6detail14ultimate_delayC2ERKNS_4data8variableERKN7atermpp9term_listIS4_EERKNS3_15data_expressionE	656
_ZN5mcrl23lps6detail14ultimate_delayC2ERKNS_4data8variableE	799
_ZN5mcrl23lps6detail14ultimate_delayC2Ev	1455
_ZNK5mcrl23lps6detail14ultimate_delay8time_varEv	1675
_ZN5mcrl23lps6detail14ultimate_delay9variablesEv	3279
_ZNK5mcrl23lps6detail14ultimate_delay10constraintEv	5072
_ZNK5mcrl23lps6detail14ultimate_delay9variablesEv	5250
_ZN5mcrl23lps6detail14ultimate_delay10constraintEv	5682

Generated by: LCOV version 1.14