LCOV - code coverage report

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

Function Name	Hit count
_ZL21test_pbesinst_invokerv	1
_ZL22test_functions_invokerv	1
_ZL28test_abp_no_deadlock_invokerv	1
_ZL28test_pbesinst_finite_invokerv	1
_ZL31test_pbesinst_symbolic1_invokerv	1
_ZN13test_pbesinst11test_methodEv	1
_ZN14test_functions11test_methodEv	1
_ZN20test_abp_no_deadlock11test_methodEv	1
_ZN20test_pbesinst_finite11test_methodEv	1
_ZN23test_pbesinst_symbolic111test_methodEv	1
_Z22test_pbesinst_symbolicRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	4
_Z13pbesinst_lazyRKN5mcrl211pbes_system4pbesE	7
_Z15pbesinst_finiteRKN5mcrl211pbes_system4pbesE	9
_Z9test_pbesRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEbb	9

Generated by: LCOV version 1.14