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 Sort by function name Hit count Sort by 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