LCOV - code coverage report

Current view: top level - process/include/mcrl2/process - is_linear.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 103 143 72.0 % Date: 2024-05-01 03:37:31 Functions: 21 31 67.7 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl27process6detail23is_conditional_deadlockERKNS0_18process_expressionE	0
_ZN5mcrl27process6detail35linear_process_expression_traverser5enterERKNS0_10left_mergeE	0
_ZN5mcrl27process6detail35linear_process_expression_traverser5enterERKNS0_12bounded_initE	0
_ZN5mcrl27process6detail35linear_process_expression_traverser5enterERKNS0_12if_then_elseE	0
_ZN5mcrl27process6detail35linear_process_expression_traverser5enterERKNS0_4commE	0
_ZN5mcrl27process6detail35linear_process_expression_traverser5enterERKNS0_4hideE	0
_ZN5mcrl27process6detail35linear_process_expression_traverser5enterERKNS0_5allowE	0
_ZN5mcrl27process6detail35linear_process_expression_traverser5enterERKNS0_5blockE	0
_ZN5mcrl27process6detail35linear_process_expression_traverser5enterERKNS0_5mergeE	0
_ZN5mcrl27process6detail35linear_process_expression_traverser5enterERKNS0_6renameE	0
_ZN5mcrl27process6detail35linear_process_expression_traverser24non_linear_process_errorC2ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	2
_ZN5mcrl27process6detail35linear_process_expression_traverser5enterERKNS0_4syncE	2
_ZN5mcrl27process6detail35linear_process_expression_traverser5enterERKNS0_2atE	8
_ZN5mcrl27process6detail17is_timed_deadlockERKNS0_18process_expressionE	12
_ZN5mcrl27process6detail28is_conditional_action_prefixERKNS0_18process_expressionE	129
_ZN5mcrl27process6detail14is_alternativeERKNS0_18process_expressionE	141
_ZN5mcrl27process6detail35linear_process_expression_traverser5enterERKNS0_3sumE	141
_ZN5mcrl27process6detail35linear_process_expression_traverser5enterERKNS0_16process_instanceE	150
_ZN5mcrl27process6detail35linear_process_expression_traverser9is_linearERKNS0_18process_expressionEb	206
_ZN5mcrl27process6detail35linear_process_expression_traverserC2ERKNS0_16process_equationE	206
_ZN5mcrl27process9is_linearERKNS0_21process_specificationEb	206
_ZN5mcrl27process6detail35linear_process_expression_traverser5enterERKNS0_27process_instance_assignmentE	310
_ZN5mcrl27process6detail35linear_process_expression_traverser5enterERKNS0_7if_thenE	404
_ZN5mcrl27process6detail16is_action_prefixERKNS0_18process_expressionE	428
_ZN5mcrl27process6detail22check_process_instanceERKNS0_16process_equationERKNS0_16process_instanceE	453
_ZN5mcrl27process6detail35linear_process_expression_traverser5enterERKNS0_3seqE	462
_ZN5mcrl27process6detail20is_timed_multiactionERKNS0_18process_expressionE	474
_ZN5mcrl27process6detail14is_multiactionERKNS0_18process_expressionE	476
_ZN5mcrl27process6detail33check_process_instance_assignmentERKNS0_16process_equationERKNS0_27process_instance_assignmentE	617
_ZN5mcrl27process6detail21is_stochastic_processERKNS0_18process_expressionE	666
_ZN5mcrl27process6detail10is_processERKNS0_18process_expressionE	688

Generated by: LCOV version 1.14