LCOV - code coverage report

Current view: top level - pbes/include/mcrl2/pbes - substitutions.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 27 27 100.0 % Date: 2024-04-26 03:18:02 Functions: 5 5 100.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl211pbes_system35propositional_variable_substitution10assignmentC2ERKNS0_22propositional_variableERSt3mapIN7atermpp12aterm_stringESt4pairINS0_15pbes_expressionENS7_9term_listINS_4data8variableEEEESt4lessIS8_ESaIS9_IKS8_SF_EEE	87
_ZN5mcrl211pbes_system35propositional_variable_substitution10assignmentaSERKNS0_15pbes_expressionE	87
_ZN5mcrl211pbes_system35propositional_variable_substitutionC2ERKNS0_22propositional_variableERKNS0_15pbes_expressionE	87
_ZN5mcrl211pbes_system35propositional_variable_substitutionixERKNS0_22propositional_variableE	87
_ZNK5mcrl211pbes_system35propositional_variable_substitutionclERKNS0_36propositional_variable_instantiationE	121

Generated by: LCOV version 1.14