LCOV - code coverage report
Current view: top level - process/include/mcrl2/process/detail - process_context.h (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 49 69 71.0 %
Date: 2020-11-21 00:46:01 Functions: 11 13 84.6 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZNK5mcrl27process6detail15process_context25find_violating_assignmentERKN7atermpp9term_listINS_4data29untyped_identifier_assignmentEEERKNS4_INS5_8variableEEE 0
_ZZNK5mcrl27process6detail15process_context25find_violating_assignmentERKN7atermpp9term_listINS_4data29untyped_identifier_assignmentEEERKNS4_INS5_8variableEEEENKUlRKS6_E_clESF_ 0
_ZN5mcrl27process6detail15process_context23add_process_identifiersIN7atermpp9term_listINS0_18process_identifierEEEEEvRKT_RKNS1_14action_contextERKNS_4data17sort_type_checkerE 8
_ZNK5mcrl27process6detail15process_context22is_matching_assignmentERKN7atermpp9term_listINS_4data29untyped_identifier_assignmentEEERKNS4_INS5_8variableEEE 534
_ZNK5mcrl27process6detail15process_context41match_untyped_process_instance_assignmentERKNS0_26untyped_process_assignmentE 534
_ZN5mcrl27process6detail15process_context5clearEv 953
_ZN5mcrl27process6detail15process_context23add_process_identifiersISt6vectorINS0_18process_identifierESaIS5_EEEEvRKT_RKNS1_14action_contextERKNS_4data17sort_type_checkerE 956
_ZN5mcrl27process6detail15process_contextC2Ev 980
_ZN5mcrl27process6detail15process_contextD2Ev 980
_ZNK5mcrl27process6detail15process_context21make_process_instanceERKN7atermpp12aterm_stringERKNS3_9term_listINS_4data15sort_expressionEEERKNS7_INS8_15data_expressionEEE 2054
_ZNK5mcrl27process6detail15process_context22matching_process_sortsERKN7atermpp12aterm_stringERKNS3_9term_listINS_4data15data_expressionEEE 2054
_ZNK5mcrl27process6detail15process_context11is_declaredERKN7atermpp12aterm_stringE 2588
_ZZNK5mcrl27process6detail15process_context22is_matching_assignmentERKN7atermpp9term_listINS_4data29untyped_identifier_assignmentEEERKNS4_INS5_8variableEEEENKUlRKSA_E_clESF_ 4798

Generated by: LCOV version 1.13