LCOV - code coverage report
Current view:
top level
-
lts/include/mcrl2/lts/detail
- liblts_failures_refinement.h
(
source
/ functions)
Hit
Total
Coverage
Test:
mcrl2_coverage.info.cleaned
Lines:
190
243
78.2 %
Date:
2024-04-21 03:44:01
Functions:
22
33
66.7 %
Legend:
Lines:
hit
not hit
Function Name
Hit count
_ZN5mcrl23lts17report_statisticsINS0_6detail41state_states_counter_example_index_tripleINS2_27counter_example_constructorEEEEEvRNS0_21refinement_statisticsIT_EE
0
_ZN5mcrl23lts21refinement_statisticsINS0_6detail41state_states_counter_example_index_tripleINS2_27counter_example_constructorEEEEC2ERSt8multimapImSt3setImSt4lessImESaImEESA_SaISt4pairIKmSC_EEERSt5dequeIS5_SaIS5_EE
0
_ZN5mcrl23lts30destructive_refinement_checkerINS0_9lts_aut_tENS0_6detail27counter_example_constructorEEEbRT_S6_NS0_15refinement_typeEbNS_3lps20exploration_strategyEbT0_
0
_ZN5mcrl23lts6detail16antichain_insertINS1_27counter_example_constructorEEEbRSt8multimapImSt3setImSt4lessImESaImEES7_SaISt4pairIKmS9_EEERKNS1_41state_states_counter_example_index_tripleIT_EE
0
_ZN5mcrl23lts6detail41state_states_counter_example_index_tripleINS1_27counter_example_constructorEE4swapERS4_
0
_ZN5mcrl23lts6detail41state_states_counter_example_index_tripleINS1_27counter_example_constructorEEC2EmRKSt3setImSt4lessImESaImEERKm
0
_ZN5mcrl23lts6detail41state_states_counter_example_index_tripleINS1_27counter_example_constructorEEC2Ev
0
_ZNK5mcrl23lts6detail41state_states_counter_example_index_tripleINS1_27counter_example_constructorEE21counter_example_indexEv
0
_ZNK5mcrl23lts6detail41state_states_counter_example_index_tripleINS1_27counter_example_constructorEE5stateEv
0
_ZNK5mcrl23lts6detail41state_states_counter_example_index_tripleINS1_27counter_example_constructorEE6statesEv
0
_ZZN5mcrl23lts6detail21refusals_contained_inINS0_9lts_aut_tEEEbmRKSt3setImSt4lessImESaImEERKNS1_9lts_cacheIT_EERmRKSC_bbENKUlmE_clEm
0
_ZN5mcrl23lts17report_statisticsINS0_6detail41state_states_counter_example_index_tripleINS2_33dummy_counter_example_constructorEEEEEvRNS0_21refinement_statisticsIT_EE
48
_ZN5mcrl23lts21refinement_statisticsINS0_6detail41state_states_counter_example_index_tripleINS2_33dummy_counter_example_constructorEEEEC2ERSt8multimapImSt3setImSt4lessImESaImEESA_SaISt4pairIKmSC_EEERSt5dequeIS5_SaIS5_EE
48
_ZN5mcrl23lts6detail9lts_cacheINS0_9lts_aut_tEE29calculate_weak_property_cacheEb
48
_ZN5mcrl23lts6detail9lts_cacheINS0_9lts_aut_tEEC2ERS3_b
48
_ZN5mcrl23lts30destructive_refinement_checkerINS0_9lts_aut_tENS0_6detail33dummy_counter_example_constructorEEEbRT_S6_NS0_15refinement_typeEbNS_3lps20exploration_strategyEbT0_
56
_ZN5mcrl23lts6reduceINS0_9lts_aut_tEEESt4pairImbERT_bbm
56
_ZN5mcrl23lts6detail21refusals_contained_inINS0_9lts_aut_tEEEbmRKSt3setImSt4lessImESaImEERKNS1_9lts_cacheIT_EERmRKSC_bb
103
_ZN5mcrl23lts6detail41state_states_counter_example_index_tripleINS1_33dummy_counter_example_constructorEE4swapERS4_
157
_ZN5mcrl23lts6detail41state_states_counter_example_index_tripleINS1_33dummy_counter_example_constructorEEC2Ev
157
_ZNK5mcrl23lts6detail41state_states_counter_example_index_tripleINS1_33dummy_counter_example_constructorEE21counter_example_indexEv
203
_ZNK5mcrl23lts6detail9lts_cacheINS0_9lts_aut_tEE8divergesEm
212
_ZNK5mcrl23lts6detail9lts_cacheINS0_9lts_aut_tEE13action_labelsEm
214
_ZNK5mcrl23lts6detail9lts_cacheINS0_9lts_aut_tEE6stableEm
219
_ZN5mcrl23lts6detail16antichain_insertINS1_33dummy_counter_example_constructorEEEbRSt8multimapImSt3setImSt4lessImESaImEES7_SaISt4pairIKmS9_EEERKNS1_41state_states_counter_example_index_tripleIT_EE
230
_ZN5mcrl23lts6detail41state_states_counter_example_index_tripleINS1_33dummy_counter_example_constructorEEC2EmRKSt3setImSt4lessImESaImEERKS3_
230
_ZN5mcrl23lts6detail38collect_reachable_states_via_an_actionINS0_9lts_aut_tEEESt3setImSt4lessImESaImEEmmRKNS1_9lts_cacheIT_EEbRKSA_
275
_ZNK5mcrl23lts6detail9lts_cacheINS0_9lts_aut_tEE20tau_reachable_statesEm
305
_ZN5mcrl23lts6detail33collect_reachable_states_via_tausINS0_9lts_aut_tEEESt3setImSt4lessImESaImEEmRKNS1_9lts_cacheIT_EEb
323
_ZNK5mcrl23lts6detail9lts_cacheINS0_9lts_aut_tEE11transitionsEm
435
_ZN5mcrl23lts6detail33collect_reachable_states_via_tausINS0_9lts_aut_tEEESt3setImSt4lessImESaImEERKS8_RKNS1_9lts_cacheIT_EEb
598
_ZNK5mcrl23lts6detail41state_states_counter_example_index_tripleINS1_33dummy_counter_example_constructorEE6statesEv
622
_ZNK5mcrl23lts6detail41state_states_counter_example_index_tripleINS1_33dummy_counter_example_constructorEE5stateEv
1356
Generated by:
LCOV version 1.14