LCOV - code coverage report

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

Function Name	Hit count
_ZN5mcrl211pbes_system18complement_builderINS_4core13apply_builderIS1_EEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_36propositional_variable_instantiationE	0
_ZN5mcrl211pbes_system10complementERKNS0_15pbes_expressionE	2
_ZN5mcrl211pbes_system18complement_builderINS_4core13apply_builderIS1_EEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_3or_E	2
_ZN5mcrl211pbes_system18complement_builderINS_4core13apply_builderIS1_EEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_4and_E	4
_ZN5mcrl211pbes_system18complement_builderINS_4core13apply_builderIS1_EEE5applyINS0_15pbes_expressionEEEvRT_RKNS_4data15data_expressionE	8

Generated by: LCOV version 1.14