LCOV - code coverage report

Current view: top level - pbes/test - remove_parameters_test.cpp (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 52 52 100.0 % Date: 2024-04-26 03:18:02 Functions: 6 6 100.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZL28test_pbes_expression_invokerv	1
_ZL35test_propositional_variable_invokerv	1
_ZL49test_propositional_variable_instantiation_invokerv	1
_ZN20test_pbes_expression11test_methodEv	1
_ZN27test_propositional_variable11test_methodEv	1
_ZN41test_propositional_variable_instantiation11test_methodEv	1

Generated by: LCOV version 1.14