LCOV - code coverage report

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

Function Name	Hit count
_ZL16pbes_val_invokerv	1
_ZL18pbes_print_invokerv	1
_ZL23pbes_with_reals_invokerv	1
_ZN10pbes_print11test_methodEv	1
_ZN15pbes_with_reals11test_methodEv	1
_ZN8pbes_val11test_methodEv	1

Generated by: LCOV version 1.14