LCOV - code coverage report

Current view: top level - pbes/test - pbes_test.cpp (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 94 96 97.9 % Date: 2024-05-01 03:37:31 Functions: 18 18 100.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZL15test_io_invokerv	1
_ZL17test_pbes_invokerv	1
_ZL19test_is_bes_invokerv	1
_ZL20test_trivial_invokerv	1
_ZL28test_pbes_expression_invokerv	1
_ZL29test_global_variables_invokerv	1
_ZL34test_find_sort_expressions_invokerv	1
_ZL38test_complement_method_builder_invokerv	1
_ZL41test_instantiate_global_variables_invokerv	1
_ZN11test_is_bes11test_methodEv	1
_ZN12test_trivial11test_methodEv	1
_ZN20test_pbes_expression11test_methodEv	1
_ZN21test_global_variables11test_methodEv	1
_ZN26test_find_sort_expressions11test_methodEv	1
_ZN30test_complement_method_builder11test_methodEv	1
_ZN33test_instantiate_global_variables11test_methodEv	1
_ZN7test_io11test_methodEv	1
_ZN9test_pbes11test_methodEv	1

Generated by: LCOV version 1.14