LCOV - code coverage report

Current view: top level - lps/source - lps.cpp (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 63 97 64.9 % Date: 2024-04-19 03:43:27 Functions: 33 52 63.5 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl23lps15normalize_sortsERNS0_24stochastic_specificationERKNS_4data18sort_specificationE	0
_ZN5mcrl23lps18find_action_labelsERKNS0_13specificationE	0
_ZN5mcrl23lps18find_action_labelsERKNS0_14linear_processE	0
_ZN5mcrl23lps18find_action_labelsERKNS0_19process_initializerE	0
_ZN5mcrl23lps18find_action_labelsERKNS0_24stochastic_specificationE	0
_ZN5mcrl23lps18find_all_variablesERKNS0_14linear_processE	0
_ZN5mcrl23lps18find_all_variablesERKNS0_25stochastic_linear_processE	0
_ZN5mcrl23lps19find_free_variablesERKNS0_19process_initializerE	0
_ZN5mcrl23lps19find_free_variablesERKNS0_30stochastic_process_initializerE	0
_ZN5mcrl23lps20check_well_typednessERKNS0_14linear_processE	0
_ZN5mcrl23lps21find_function_symbolsERKNS0_13specificationE	0
_ZN5mcrl23lps21find_function_symbolsERKNS0_24stochastic_specificationE	0
_ZN5mcrl23lps23pp_with_summand_numbersB5cxx11ERKNS0_13specificationE	0
_ZN5mcrl23lps23pp_with_summand_numbersB5cxx11ERKNS0_24stochastic_specificationE	0
_ZN5mcrl23lps2ppB5cxx11ERKNS0_14action_summandE	0
_ZN5mcrl23lps2ppB5cxx11ERKNS0_19process_initializerE	0
_ZN5mcrl23lps2ppB5cxx11ERKNS0_25stochastic_action_summandE	0
_ZN5mcrl23lps2ppB5cxx11ERKNS0_25stochastic_linear_processE	0
_ZN5mcrl23lps2ppB5cxx11ERKNS0_30stochastic_process_initializerE	0
_ZN5mcrl23lps18find_all_variablesERKNS0_24stochastic_specificationE	1
_ZN5mcrl23lps19find_free_variablesERKNS0_25stochastic_linear_processE	1
_ZN5mcrl23lps20check_well_typednessERKNS0_25stochastic_linear_processE	1
_ZN5mcrl23lps2ppB5cxx11ERKNS0_23stochastic_distributionE	1
_ZN5mcrl23lps19find_free_variablesERKNS0_8deadlockE	2
_ZN5mcrl23lps18find_all_variablesERKNS0_8deadlockE	3
_ZN5mcrl23lps2ppB5cxx11ERKNS0_14linear_processE	4
_ZN5mcrl23lps2ppB5cxx11ERKNS0_16deadlock_summandE	4
_ZN5mcrl23lps2ppB5cxx11ERKNS0_8deadlockE	4
_ZN5mcrl23lps2ppB5cxx11ERKNS0_24stochastic_specificationE	6
_ZN5mcrl23lps6detail36complete_action_rename_specificationERNS0_27action_rename_specificationERKNS0_24stochastic_specificationE	6
_ZN5mcrl23lps6detail37parse_action_rename_specification_newERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	6
_ZN5mcrl23lps20check_well_typednessERKNS0_24stochastic_specificationE	10
_ZN5mcrl23lps6detail21complete_multi_actionERNS_7process20untyped_multi_actionERKN7atermpp9term_listINS2_12action_labelEEERKNS_4data18data_specificationE	10
_ZN5mcrl23lps6detail21complete_multi_actionERNS_7process20untyped_multi_actionERNS0_25multi_action_type_checkerERKNS_4data18data_specificationE	12
_ZN5mcrl23lps15normalize_sortsERNS0_13specificationERKNS_4data18sort_specificationE	16
_ZN5mcrl23lps20check_well_typednessERKNS0_13specificationE	17
_ZN5mcrl23lps19find_free_variablesERKNS0_13specificationE	18
_ZN5mcrl23lps15normalize_sortsERKNS0_12multi_actionERKNS_4data18sort_specificationE	22
_ZN5mcrl23lps23translate_user_notationERKNS0_12multi_actionE	22
_ZN5mcrl23lps6detail22parse_multi_action_newERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	22
_ZN5mcrl23lps18find_all_variablesERKNS0_12multi_actionE	27
_ZN5mcrl23lps2ppB5cxx11ERKNS0_13specificationE	34
_ZN5mcrl23lps19find_free_variablesERKNS0_14linear_processE	35
_ZN5mcrl23lps18find_all_variablesERKNS0_13specificationE	130
_ZN5mcrl23lps16find_identifiersERKNS0_13specificationE	209
_ZN5mcrl23lps21find_sort_expressionsERKNS0_13specificationE	274
_ZN5mcrl23lps16find_identifiersERKNS0_24stochastic_specificationE	318
_ZN5mcrl23lps19find_free_variablesERKNS0_24stochastic_specificationE	617
_ZN5mcrl23lps2ppB5cxx11ERKNS0_12multi_actionE	1160
_ZN5mcrl23lps21find_sort_expressionsERKNS0_24stochastic_specificationE	2506
_ZNK5mcrl23lps14action_summand10next_stateERKN7atermpp9term_listINS_4data8variableEEE	3284
_ZN5mcrl23lps19find_free_variablesERKNS0_12multi_actionE	14676

Generated by: LCOV version 1.14