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