LCOV - code coverage report

Current view: top level - lts/test - lts_test.cpp (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 309 339 91.2 % Date: 2024-04-17 03:40:49 Functions: 32 33 97.0 % Legend: Lines: hit not hit

Function Name	Hit count
_Z19counterexample_jk_1m	0
_ZL18reduce_abp_invokerv	1
_ZL21hide_actions1_invokerv	1
_ZL21hide_actions2_invokerv	1
_ZL21hide_actions3_invokerv	1
_ZL21hide_actions4_invokerv	1
_ZL23reduce_peterson_invokerv	1
_ZL25test_reachability_invokerv	1
_ZL26reduce_simple_loop_invokerv	1
_ZL30is_deterministic_test1_invokerv	1
_ZL30is_deterministic_test2_invokerv	1
_ZL35reduce_simple_loop_with_tau_invokerv	1
_ZL37counterexample_postprocessing_invokerv	1
_ZL38regression_delete_old_bb_slice_invokerv	1
_ZL42failing_test_groote_wijs_algorithm_invokerv	1
_ZL49tricky_example_for_branching_bisimulation_invokerv	1
_ZN10reduce_abp11test_methodEv	1
_ZN13hide_actions111test_methodEv	1
_ZN13hide_actions211test_methodEv	1
_ZN13hide_actions311test_methodEv	1
_ZN13hide_actions411test_methodEv	1
_ZN15reduce_peterson11test_methodEv	1
_ZN17test_reachability11test_methodEv	1
_ZN18reduce_simple_loop11test_methodEv	1
_ZN22is_deterministic_test111test_methodEv	1
_ZN22is_deterministic_test211test_methodEv	1
_ZN27reduce_simple_loop_with_tau11test_methodEv	1
_ZN29counterexample_postprocessing11test_methodEv	1
_ZN30regression_delete_old_bb_slice11test_methodEv	1
_ZN34failing_test_groote_wijs_algorithm11test_methodEv	1
_ZN41tricky_example_for_branching_bisimulation11test_methodEv	1
_ZL26reduce_lts_in_various_waysRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES6_RK14expected_sizes	5
_ZL8test_ltsRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKN5mcrl23lts9lts_aut_tEmmm	118

Generated by: LCOV version 1.14