LCOV - code coverage report
Current view: top level - pbes/include/mcrl2/pbes - print.h (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 133 135 98.5 %
Date: 2020-04-01 00:44:46 Functions: 55 91 60.4 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZN5mcrl211pbes_system14stream_printerclIN7atermpp9term_listINS0_15pbes_expressionEEEEEvRKT_RSo 0
_ZN5mcrl211pbes_system14stream_printerclIN7atermpp9term_listINS0_22propositional_variableEEEEEvRKT_RSo 0
_ZN5mcrl211pbes_system14stream_printerclIN7atermpp9term_listINS0_36propositional_variable_instantiationEEEEEvRKT_RSo 0
_ZN5mcrl211pbes_system14stream_printerclINS0_13pbes_equationEEEvRKT_RSo 0
_ZN5mcrl211pbes_system14stream_printerclINS0_3impEEEvRKT_RSo 0
_ZN5mcrl211pbes_system14stream_printerclINS0_3or_EEEvRKT_RSo 0
_ZN5mcrl211pbes_system14stream_printerclINS0_4and_EEEvRKT_RSo 0
_ZN5mcrl211pbes_system14stream_printerclINS0_4not_EEEvRKT_RSo 0
_ZN5mcrl211pbes_system14stream_printerclINS0_6existsEEEvRKT_RSo 0
_ZN5mcrl211pbes_system14stream_printerclINS0_6forallEEEvRKT_RSo 0
_ZN5mcrl211pbes_system14stream_printerclISt6vectorINS0_13pbes_equationESaIS4_EEEEvRKT_RSo 0
_ZN5mcrl211pbes_system14stream_printerclISt6vectorINS0_15pbes_expressionESaIS4_EEEEvRKT_RSo 0
_ZN5mcrl211pbes_system14stream_printerclISt6vectorINS0_22propositional_variableESaIS4_EEEEvRKT_RSo 0
_ZN5mcrl211pbes_system14stream_printerclISt6vectorINS0_36propositional_variable_instantiationESaIS4_EEEEvRKT_RSo 0
_ZN5mcrl211pbes_system19is_left_associativeERKNS0_3impE 0
_ZN5mcrl211pbes_system20is_right_associativeERKNS0_3impE 0
_ZN5mcrl211pbes_system2ppIN7atermpp9term_listINS0_15pbes_expressionEEEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_ 0
_ZN5mcrl211pbes_system2ppIN7atermpp9term_listINS0_22propositional_variableEEEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_ 0
_ZN5mcrl211pbes_system2ppIN7atermpp9term_listINS0_36propositional_variable_instantiationEEEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_ 0
_ZN5mcrl211pbes_system2ppINS0_13pbes_equationEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_ 0
_ZN5mcrl211pbes_system2ppINS0_3impEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_ 0
_ZN5mcrl211pbes_system2ppINS0_3or_EEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_ 0
_ZN5mcrl211pbes_system2ppINS0_4and_EEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_ 0
_ZN5mcrl211pbes_system2ppINS0_4not_EEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_ 0
_ZN5mcrl211pbes_system2ppINS0_6existsEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_ 0
_ZN5mcrl211pbes_system2ppINS0_6forallEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_ 0
_ZN5mcrl211pbes_system2ppISt6vectorINS0_13pbes_equationESaIS3_EEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_ 0
_ZN5mcrl211pbes_system2ppISt6vectorINS0_15pbes_expressionESaIS3_EEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_ 0
_ZN5mcrl211pbes_system2ppISt6vectorINS0_22propositional_variableESaIS3_EEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_ 0
_ZN5mcrl211pbes_system2ppISt6vectorINS0_36propositional_variable_instantiationESaIS3_EEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_ 0
_ZN5mcrl211pbes_system6detail7printerINS_4core6detail13apply_printerINS1_12pfnf_printerEEEE22print_pbes_abstractionINS0_6existsEEEvRKT_RKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE 0
_ZN5mcrl211pbes_system6detail7printerINS_4core6detail13apply_printerINS1_12pfnf_printerEEEE22print_pbes_abstractionINS0_6forallEEEvRKT_RKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE 0
_ZN5mcrl211pbes_system6detail7printerINS_4core6detail13apply_printerINS1_12pfnf_printerEEEE27print_pbes_binary_operationINS0_4and_EEEvRKT_RKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE 0
_ZN5mcrl211pbes_system6detail7printerINS_4core6detail13apply_printerINS1_12pfnf_printerEEEE5applyERKNS0_4and_E 0
_ZN5mcrl211pbes_system6detail7printerINS_4core6detail13apply_printerINS1_12pfnf_printerEEEE5applyERKNS0_6existsE 0
_ZN5mcrl211pbes_system6detail7printerINS_4core6detail13apply_printerINS1_12pfnf_printerEEEE5applyERKNS0_6forallE 0
_ZN5mcrl211pbes_system6detail7printerINS_4core6detail13apply_printerINS1_12pfnf_printerEEEE21print_pbes_expressionINS0_36propositional_variable_instantiationEEEvRKT_b 1
_ZN5mcrl211pbes_system6detail7printerINS_4core6detail13apply_printerINS1_12pfnf_printerEEEE24print_pbes_unary_operandERKNS0_15pbes_expressionESB_ 1
_ZN5mcrl211pbes_system6detail7printerINS_4core6detail13apply_printerINS1_12pfnf_printerEEEE27print_pbes_binary_operationINS0_3impEEEvRKT_RKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE 1
_ZN5mcrl211pbes_system6detail7printerINS_4core6detail13apply_printerINS1_12pfnf_printerEEEE31print_pbes_unary_left_operationINS0_4not_EEEvRKT_RKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE 1
_ZN5mcrl211pbes_system6detail7printerINS_4core6detail13apply_printerINS1_12pfnf_printerEEEE5applyERKNS0_3impE 1
_ZN5mcrl211pbes_system6detail7printerINS_4core6detail13apply_printerINS1_12pfnf_printerEEEE5applyERKNS0_4not_E 1
_ZN5mcrl211pbes_system6detail7printerINS_4core6detail13apply_printerINS1_12pfnf_printerEEEE5applyERKNS0_4pbesE 1
_ZN5mcrl211pbes_system6detail7printerINS_4core6detail13apply_printerINS1_12pfnf_printerEEEE5applyERKNS0_13pbes_equationE 2
_ZN5mcrl211pbes_system6detail7printerINS_4core6detail13apply_printerINS1_12pfnf_printerEEEE5applyERKNS0_15fixpoint_symbolE 2
_ZN5mcrl211pbes_system6detail7printerINS_4core6detail13apply_printerINS1_12pfnf_printerEEEE5applyERKNS0_22propositional_variableE 2
_ZN5mcrl211pbes_system6detail7printerINS_4core6detail13apply_printerINS1_12pfnf_printerEEEE27print_pbes_binary_operationINS0_3or_EEEvRKT_RKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE 4
_ZN5mcrl211pbes_system6detail7printerINS_4core6detail13apply_printerINS1_12pfnf_printerEEEE5applyERKNS0_3or_E 4
_ZN5mcrl211pbes_system10precedenceERKNS0_3impE 5
_ZN5mcrl211pbes_system6detail7printerINS_4core6detail13apply_printerINS1_12pfnf_printerEEEE5applyERKNS0_36propositional_variable_instantiationE 9
_ZN5mcrl211pbes_system6detail7printerINS_4core6detail13apply_printerINS1_12pfnf_printerEEEE21print_pbes_expressionINS0_15pbes_expressionEEEvRKT_b 11
_ZN5mcrl211pbes_system6detail7printerINS_4core6detail13apply_printerIS2_EEE27print_pbes_binary_operationINS0_3impEEEvRKT_RKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE 18
_ZN5mcrl211pbes_system6detail7printerINS_4core6detail13apply_printerIS2_EEE5applyERKNS0_3impE 18
_ZN5mcrl211pbes_system6detail7printerINS_4core6detail13apply_printerIS2_EEE31print_pbes_unary_left_operationINS0_4not_EEEvRKT_RKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE 21
_ZN5mcrl211pbes_system6detail7printerINS_4core6detail13apply_printerIS2_EEE5applyERKNS0_4not_E 21
_ZN5mcrl211pbes_system10precedenceERKNS0_4not_E 38
_ZN5mcrl211pbes_system14stream_printerclINS0_36propositional_variable_instantiationEEEvRKT_RSo 74
_ZN5mcrl211pbes_system2ppINS0_36propositional_variable_instantiationEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_ 74
_ZN5mcrl211pbes_system14stream_printerclINS0_22propositional_variableEEEvRKT_RSo 77
_ZN5mcrl211pbes_system2ppINS0_22propositional_variableEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_ 77
_ZN5mcrl211pbes_system19is_left_associativeERKNS0_3or_E 81
_ZN5mcrl211pbes_system14stream_printerclINS0_15fixpoint_symbolEEEvRKT_RSo 88
_ZN5mcrl211pbes_system2ppINS0_15fixpoint_symbolEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_ 88
_ZN5mcrl211pbes_system6detail7printerINS_4core6detail13apply_printerIS2_EEE22print_pbes_abstractionINS0_6existsEEEvRKT_RKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE 93
_ZN5mcrl211pbes_system6detail7printerINS_4core6detail13apply_printerIS2_EEE5applyERKNS0_6existsE 93
_ZN5mcrl211pbes_system10precedenceERKNS0_6existsE 157
_ZN5mcrl211pbes_system14stream_printerclINS0_4pbesEEEvRKT_RSo 190
_ZN5mcrl211pbes_system2ppINS0_4pbesEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_ 190
_ZN5mcrl211pbes_system6detail7printerINS_4core6detail13apply_printerIS2_EEE21print_pbes_expressionINS0_36propositional_variable_instantiationEEEvRKT_b 190
_ZN5mcrl211pbes_system6detail7printerINS_4core6detail13apply_printerIS2_EEE5applyERKNS0_4pbesE 190
_ZN5mcrl211pbes_system6detail7printerINS_4core6detail13apply_printerIS2_EEE22print_pbes_abstractionINS0_6forallEEEvRKT_RKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE 206
_ZN5mcrl211pbes_system6detail7printerINS_4core6detail13apply_printerIS2_EEE5applyERKNS0_6forallE 206
_ZN5mcrl211pbes_system10precedenceERKNS0_6forallE 320
_ZN5mcrl211pbes_system6detail7printerINS_4core6detail13apply_printerIS2_EEE24print_pbes_unary_operandERKNS0_15pbes_expressionESA_ 320
_ZN5mcrl211pbes_system6detail7printerINS_4core6detail13apply_printerIS2_EEE5applyERKNS0_13pbes_equationE 359
_ZN5mcrl211pbes_system6detail7printerINS_4core6detail13apply_printerIS2_EEE5applyERKNS0_22propositional_variableE 436
_ZN5mcrl211pbes_system6detail7printerINS_4core6detail13apply_printerIS2_EEE5applyERKNS0_15fixpoint_symbolE 447
_ZN5mcrl211pbes_system20is_right_associativeERKNS0_3or_E 840
_ZN5mcrl211pbes_system19is_left_associativeERKNS0_4and_E 953
_ZN5mcrl211pbes_system20is_right_associativeERKNS0_4and_E 1252
_ZN5mcrl211pbes_system10precedenceERKNS0_4and_E 2423
_ZN5mcrl211pbes_system6detail7printerINS_4core6detail13apply_printerIS2_EEE27print_pbes_binary_operationINS0_4and_EEEvRKT_RKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE 3198
_ZN5mcrl211pbes_system6detail7printerINS_4core6detail13apply_printerIS2_EEE5applyERKNS0_4and_E 3198
_ZN5mcrl211pbes_system10precedenceERKNS0_3or_E 4445
_ZN5mcrl211pbes_system6detail7printerINS_4core6detail13apply_printerIS2_EEE27print_pbes_binary_operationINS0_3or_EEEvRKT_RKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE 4510
_ZN5mcrl211pbes_system6detail7printerINS_4core6detail13apply_printerIS2_EEE5applyERKNS0_3or_E 4510
_ZN5mcrl211pbes_system14stream_printerclINS0_15pbes_expressionEEEvRKT_RSo 6533
_ZN5mcrl211pbes_system2ppINS0_15pbes_expressionEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_ 6533
_ZN5mcrl211pbes_system6detail7printerINS_4core6detail13apply_printerIS2_EEE5applyERKNS0_36propositional_variable_instantiationE 9809
_ZN5mcrl211pbes_system6detail7printerINS_4core6detail13apply_printerIS2_EEE21print_pbes_expressionINS0_15pbes_expressionEEEvRKT_b 15772
_ZN5mcrl211pbes_system10precedenceERKNS0_15pbes_expressionE 16104

Generated by: LCOV version 1.13