LCOV - code coverage report
Current view: top level - lps/source - next_state_generator.cpp (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 270 291 92.8 %
Date: 2020-10-20 00:45:57 Functions: 21 22 95.5 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZN5mcrl23lps20next_state_generator16summand_subset_t20summand_set_containsERKSt3setINS0_25stochastic_action_summandESt4lessIS4_ESaIS4_EERKNS1_9summand_tE 0
_ZN5mcrl23lps20next_state_generator16summand_subset_t24build_pruning_parametersERKSt6vectorINS0_25stochastic_action_summandESaIS4_EE 12
_ZN5mcrl23lps20next_state_generator16summand_subset_tC2EPS1_RKSt6vectorINS0_25stochastic_action_summandESaIS5_EEb 24
_ZN15parameter_scoreC2Emf 52
_GLOBAL__sub_I_next_state_generator.cpp 87
_Z41__static_initialization_and_destruction_0ii 87
_ZL23parameter_score_compareRK15parameter_scoreS1_ 148
_ZN5mcrl23lps20next_state_generator16summand_subset_t5beginERKN7atermpp18term_balanced_treeINS_4data15data_expressionEEE 154
_ZN5mcrl23lps20next_state_generator16summand_subset_tC2EPS1_b 223
_ZN5mcrl23lps20next_state_generatorC2ERKNS0_24stochastic_specificationERKNS_4data8rewriterERKNS5_28mutable_indexed_substitutionINS5_8variableENS5_15data_expressionEEEbb 223
_ZN5mcrl23lps20next_state_generatorD2Ev 223
_ZN5mcrl23lps20next_state_generator22calculate_distributionERKNS0_23stochastic_distributionERKSt6vectorINS_4data15data_expressionESaIS7_EERNS6_28mutable_indexed_substitutionINS6_8variableES7_EE 379
_ZNK11is_not_zeroclERKN5mcrl24data15data_expressionE 504
_ZN5mcrl23lps20next_state_generator16summand_subset_t12is_not_falseERKNS1_9summand_tE 720
_ZL21condition_selectivityRKN5mcrl24data15data_expressionERKNS0_8variableE 1160
_ZN5mcrl23lps20next_state_generator8iteratorC2EPS1_RKN7atermpp18term_balanced_treeINS_4data15data_expressionEEEPNS6_28mutable_indexed_substitutionINS6_8variableES7_EESE_RNS1_16summand_subset_tEPNS6_16enumerator_queueINS6_41enumerator_list_element_with_substitutionIS7_EEEE 2231
_ZN13state_applierC2ERKN7atermpp18term_balanced_treeIN5mcrl24data15data_expressionEEEm 2305
_ZN5mcrl23lps20next_state_generator8iteratorC2EPS1_RKN7atermpp18term_balanced_treeINS_4data15data_expressionEEEPNS6_28mutable_indexed_substitutionINS6_8variableES7_EESE_mPNS6_16enumerator_queueINS6_41enumerator_list_element_with_substitutionIS7_EEEE 2996
_ZN14rewriter_classC2ERKN5mcrl24data8rewriterERNS1_28mutable_indexed_substitutionINS1_8variableENS1_15data_expressionEEE 3669
_ZNK13state_applierclEm 4609
_ZN5mcrl23lps20next_state_generator8iterator9incrementEv 8505
_ZNK14rewriter_classclERKN5mcrl24data15data_expressionE 22835

Generated by: LCOV version 1.13