LCOV - code coverage report

Current view: top level - lps/include/mcrl2/lps - confluence_checker.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 259 346 74.9 % Date: 2024-05-01 03:37:31 Functions: 15 16 93.8 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl23lps6detailL24get_full_assignment_listEN7atermpp9term_listINS_4data10assignmentEEERKNS3_INS4_8variableEEE	0
_ZN5mcrl23lps6detail18Confluence_CheckerINS0_13specificationEE13save_dot_fileEmm	2
_ZN5mcrl23lps6detail18Confluence_CheckerINS0_13specificationEE21print_counter_exampleEv	2
_ZN5mcrl23lps6detail18Confluence_CheckerINS0_13specificationEE25check_confluence_and_markERKNS_4data15data_expressionEm	5
_ZN5mcrl23lps6detail18Confluence_CheckerINS0_13specificationEEC2ERS3_NS_4data16rewrite_strategyEibNS6_6detail15smt_solver_typeEbbbNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEbbRKSF_	5
_ZN5mcrl23lps6detail16make_ctau_actionEv	6
_ZN5mcrl23lps6detail15has_ctau_actionINS0_13specificationEEEbRKT_	7
_ZN5mcrl23lps6detail18Confluence_CheckerINS0_13specificationEE33check_confluence_and_mark_summandERNS0_14action_summandEmRKNS_4data15data_expressionEcRb	9
_ZN5mcrl23lps6detail16make_ctau_act_idEv	10
_ZN5mcrl23lps6detail31get_subst_equation_from_actionsERKN7atermpp9term_listINS_7process6actionEEERNS_4data24mutable_map_substitutionISt3mapINS9_8variableENS9_15data_expressionESt4lessISC_ESaISt4pairIKSC_SD_EEEEE	15
_ZN5mcrl23lps6detailL29get_equation_from_assignmentsERKN7atermpp9term_listINS_4data8variableEEENS3_INS4_10assignmentEEESA_	19
_ZN5mcrl23lps6detail18Confluence_CheckerINS0_13specificationEE37uniquely_rename_summutation_variablesERNS0_14action_summandE	34
_ZN5mcrl23lps6detail24get_confluence_conditionINS0_14action_summandEEENS_4data15data_expressionERKS5_RKT_SA_RKN7atermpp9term_listINS4_8variableEEEc	34
_ZN5mcrl23lps6detailL35get_subst_equation_from_assignmentsERKN7atermpp9term_listINS_4data8variableEEENS3_INS4_10assignmentEEESA_RNS4_24mutable_map_substitutionISt3mapIS5_NS4_15data_expressionESt4lessIS5_ESaISt4pairIKS5_SD_EEEEESM_	34
_ZN5mcrl23lps6detail18Confluence_CheckerINS0_13specificationEE14check_summandsERKNS_4data15data_expressionENS0_14action_summandEmS9_mc	44
_ZN5mcrl23lps6detailL34get_substitutions_from_assignmentsERKN7atermpp9term_listINS_4data10assignmentEEE	68

Generated by: LCOV version 1.14