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:
50
73
68.5 %
Date:
2024-04-21 03:44:01
Functions:
9
11
81.8 %
Legend:
Lines:
hit
not hit
Function Name
Hit count
_ZN5mcrl27process6detail15process_context23add_process_identifiersIN7atermpp9term_listINS0_18process_identifierEEEEEvRKT_RKNS1_14action_contextERKNS_4data17sort_type_checkerE
10
_ZN5mcrl27process6detail15process_context23add_process_identifiersISt6vectorINS0_18process_identifierESaIS5_EEEEvRKT_RKNS1_14action_contextERKNS_4data17sort_type_checkerE
1139
_ZN5mcrl27process6detail15process_context5clearEv
1136
_ZNK5mcrl27process6detail15process_context11is_declaredERKN7atermpp12aterm_stringE
2573
_ZNK5mcrl27process6detail15process_context21make_process_instanceERKN7atermpp12aterm_stringERKNS3_9term_listINS_4data15sort_expressionEEERKNS7_INS8_15data_expressionEEE
2132
_ZNK5mcrl27process6detail15process_context22is_matching_assignmentERKN7atermpp9term_listINS_4data29untyped_identifier_assignmentEEERKNS4_INS5_8variableEEE
441
_ZNK5mcrl27process6detail15process_context22matching_process_sortsERKN7atermpp12aterm_stringERKNS3_9term_listINS_4data15data_expressionEEE
2132
_ZNK5mcrl27process6detail15process_context25find_violating_assignmentERKN7atermpp9term_listINS_4data29untyped_identifier_assignmentEEERKNS4_INS5_8variableEEE
0
_ZNK5mcrl27process6detail15process_context41match_untyped_process_instance_assignmentERKNS0_26untyped_process_assignmentE
441
_ZZNK5mcrl27process6detail15process_context22is_matching_assignmentERKN7atermpp9term_listINS_4data29untyped_identifier_assignmentEEERKNS4_INS5_8variableEEEENKUlRKSA_E_clESF_
4254
_ZZNK5mcrl27process6detail15process_context25find_violating_assignmentERKN7atermpp9term_listINS_4data29untyped_identifier_assignmentEEERKNS4_INS5_8variableEEEENKUlRKS6_E_clESF_
0
Generated by:
LCOV version 1.14