LCOV - code coverage report

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

Function Name	Hit count
_ZL30hash_and_equality_test_invokerv	1
_ZL35test_state_space_reductions_invokerv	1
_ZN22hash_and_equality_test11test_methodEv	1
_ZN27test_state_space_reductions11test_methodEv	1
_Z12execute_testNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES4_mmm	7
_ZL9parse_autRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	7

Generated by: LCOV version 1.14