LCOV - code coverage report

Current view: top level - pbes/test - quantifier_propagate_test.cpp (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 20 20 100.0 % Date: 2024-05-04 03:44:52 Functions: 8 8 100.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZL26test_no_quantifier_invokerv	1
_ZL26test_single_forall_invokerv	1
_ZL28test_two_quantifiers_invokerv	1
_ZL33test_parameter_dependency_invokerv	1
_ZN18test_no_quantifier11test_methodEv	1
_ZN18test_single_forall11test_methodEv	1
_ZN20test_two_quantifiers11test_methodEv	1
_ZN25test_parameter_dependency11test_methodEv	1

Generated by: LCOV version 1.14