LCOV - code coverage report

Current view: top level - lps/include/mcrl2/lps - find.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 33 53 62.3 % Date: 2024-05-04 03:44:52 Functions: 49 73 67.1 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl23lps16find_identifiersINS0_16deadlock_summandEEESt3setIN7atermpp12aterm_stringESt4lessIS5_ESaIS5_EERKT_	0
_ZN5mcrl23lps16find_identifiersINS0_16deadlock_summandESt15insert_iteratorISt3setIN7atermpp12aterm_stringESt4lessIS6_ESaIS6_EEEEEvRKT_T0_	0
_ZN5mcrl23lps18find_action_labelsINS0_13specificationEEESt3setINS_7process12action_labelESt4lessIS5_ESaIS5_EERKT_	0
_ZN5mcrl23lps18find_action_labelsINS0_13specificationESt15insert_iteratorISt3setINS_7process12action_labelESt4lessIS6_ESaIS6_EEEEEvRKT_T0_	0
_ZN5mcrl23lps18find_action_labelsINS0_14linear_processEEESt3setINS_7process12action_labelESt4lessIS5_ESaIS5_EERKT_	0
_ZN5mcrl23lps18find_action_labelsINS0_14linear_processESt15insert_iteratorISt3setINS_7process12action_labelESt4lessIS6_ESaIS6_EEEEEvRKT_T0_	0
_ZN5mcrl23lps18find_action_labelsINS0_19process_initializerEEESt3setINS_7process12action_labelESt4lessIS5_ESaIS5_EERKT_	0
_ZN5mcrl23lps18find_action_labelsINS0_19process_initializerESt15insert_iteratorISt3setINS_7process12action_labelESt4lessIS6_ESaIS6_EEEEEvRKT_T0_	0
_ZN5mcrl23lps18find_action_labelsINS0_24stochastic_specificationEEESt3setINS_7process12action_labelESt4lessIS5_ESaIS5_EERKT_	0
_ZN5mcrl23lps18find_action_labelsINS0_24stochastic_specificationESt15insert_iteratorISt3setINS_7process12action_labelESt4lessIS6_ESaIS6_EEEEEvRKT_T0_	0
_ZN5mcrl23lps18find_action_labelsINS0_25stochastic_linear_processEEESt3setINS_7process12action_labelESt4lessIS5_ESaIS5_EERKT_	0
_ZN5mcrl23lps18find_action_labelsINS0_25stochastic_linear_processESt15insert_iteratorISt3setINS_7process12action_labelESt4lessIS6_ESaIS6_EEEEEvRKT_T0_	0
_ZN5mcrl23lps18find_all_variablesINS0_14linear_processEEESt3setINS_4data8variableESt4lessIS5_ESaIS5_EERKT_	0
_ZN5mcrl23lps18find_all_variablesINS0_14linear_processESt15insert_iteratorISt3setINS_4data8variableESt4lessIS6_ESaIS6_EEEEEvRKT_T0_	0
_ZN5mcrl23lps18find_all_variablesINS0_25stochastic_linear_processEEESt3setINS_4data8variableESt4lessIS5_ESaIS5_EERKT_	0
_ZN5mcrl23lps18find_all_variablesINS0_25stochastic_linear_processESt15insert_iteratorISt3setINS_4data8variableESt4lessIS6_ESaIS6_EEEEEvRKT_T0_	0
_ZN5mcrl23lps19find_free_variablesINS0_19process_initializerEEESt3setINS_4data8variableESt4lessIS5_ESaIS5_EERKT_	0
_ZN5mcrl23lps19find_free_variablesINS0_19process_initializerESt15insert_iteratorISt3setINS_4data8variableESt4lessIS6_ESaIS6_EEEEEvRKT_T0_	0
_ZN5mcrl23lps19find_free_variablesINS0_30stochastic_process_initializerEEESt3setINS_4data8variableESt4lessIS5_ESaIS5_EERKT_	0
_ZN5mcrl23lps19find_free_variablesINS0_30stochastic_process_initializerESt15insert_iteratorISt3setINS_4data8variableESt4lessIS6_ESaIS6_EEEEEvRKT_T0_	0
_ZN5mcrl23lps21find_function_symbolsINS0_13specificationEEESt3setINS_4data15function_symbolESt4lessIS5_ESaIS5_EERKT_	0
_ZN5mcrl23lps21find_function_symbolsINS0_13specificationESt15insert_iteratorISt3setINS_4data15function_symbolESt4lessIS6_ESaIS6_EEEEEvRKT_T0_	0
_ZN5mcrl23lps21find_function_symbolsINS0_24stochastic_specificationEEESt3setINS_4data15function_symbolESt4lessIS5_ESaIS5_EERKT_	0
_ZN5mcrl23lps21find_function_symbolsINS0_24stochastic_specificationESt15insert_iteratorISt3setINS_4data15function_symbolESt4lessIS6_ESaIS6_EEEEEvRKT_T0_	0
_ZN5mcrl23lps16find_identifiersINS0_25stochastic_linear_processEEESt3setIN7atermpp12aterm_stringESt4lessIS5_ESaIS5_EERKT_	1
_ZN5mcrl23lps16find_identifiersINS0_25stochastic_linear_processESt15insert_iteratorISt3setIN7atermpp12aterm_stringESt4lessIS6_ESaIS6_EEEEEvRKT_T0_	1
_ZN5mcrl23lps16find_identifiersINS_4data15data_expressionEEESt3setIN7atermpp12aterm_stringESt4lessIS6_ESaIS6_EERKT_	1
_ZN5mcrl23lps16find_identifiersINS_4data15data_expressionESt15insert_iteratorISt3setIN7atermpp12aterm_stringESt4lessIS7_ESaIS7_EEEEEvRKT_T0_	1
_ZN5mcrl23lps18find_all_variablesINS0_14action_summandEEESt3setINS_4data8variableESt4lessIS5_ESaIS5_EERKT_	1
_ZN5mcrl23lps18find_all_variablesINS0_14action_summandESt15insert_iteratorISt3setINS_4data8variableESt4lessIS6_ESaIS6_EEEEEvRKT_T0_	1
_ZN5mcrl23lps18find_all_variablesINS0_24stochastic_specificationEEESt3setINS_4data8variableESt4lessIS5_ESaIS5_EERKT_	1
_ZN5mcrl23lps18find_all_variablesINS0_24stochastic_specificationESt15insert_iteratorISt3setINS_4data8variableESt4lessIS6_ESaIS6_EEEEEvRKT_T0_	1
_ZN5mcrl23lps19find_free_variablesINS0_14action_summandEEESt3setINS_4data8variableESt4lessIS5_ESaIS5_EERKT_	1
_ZN5mcrl23lps19find_free_variablesINS0_14action_summandESt15insert_iteratorISt3setINS_4data8variableESt4lessIS6_ESaIS6_EEEEEvRKT_T0_	1
_ZN5mcrl23lps19find_free_variablesINS0_25stochastic_linear_processEEESt3setINS_4data8variableESt4lessIS5_ESaIS5_EERKT_	1
_ZN5mcrl23lps19find_free_variablesINS0_25stochastic_linear_processESt15insert_iteratorISt3setINS_4data8variableESt4lessIS6_ESaIS6_EEEEEvRKT_T0_	1
_ZN5mcrl23lps21find_sort_expressionsINS_7process6actionEEESt3setINS_4data15sort_expressionESt4lessIS6_ESaIS6_EERKT_	1
_ZN5mcrl23lps21find_sort_expressionsINS_7process6actionESt15insert_iteratorISt3setINS_4data15sort_expressionESt4lessIS7_ESaIS7_EEEEEvRKT_T0_	1
_ZN5mcrl23lps19find_free_variablesINS0_8deadlockEEESt3setINS_4data8variableESt4lessIS5_ESaIS5_EERKT_	2
_ZN5mcrl23lps19find_free_variablesINS0_8deadlockESt15insert_iteratorISt3setINS_4data8variableESt4lessIS6_ESaIS6_EEEEEvRKT_T0_	2
_ZN5mcrl23lps18find_all_variablesINS0_8deadlockEEESt3setINS_4data8variableESt4lessIS5_ESaIS5_EERKT_	3
_ZN5mcrl23lps18find_all_variablesINS0_8deadlockESt15insert_iteratorISt3setINS_4data8variableESt4lessIS6_ESaIS6_EEEEEvRKT_T0_	3
_ZN5mcrl23lps20search_free_variableISt6vectorINS0_14action_summandESaIS3_EEEEbRKT_RKNS_4data8variableE	3
_ZN5mcrl23lps18find_all_variablesINS0_23stochastic_distributionEEESt3setINS_4data8variableESt4lessIS5_ESaIS5_EERKT_	10
_ZN5mcrl23lps18find_all_variablesINS0_23stochastic_distributionESt15insert_iteratorISt3setINS_4data8variableESt4lessIS6_ESaIS6_EEEEEvRKT_T0_	10
_ZN5mcrl23lps16find_identifiersINS0_14action_summandEEESt3setIN7atermpp12aterm_stringESt4lessIS5_ESaIS5_EERKT_	11
_ZN5mcrl23lps16find_identifiersINS0_14action_summandESt15insert_iteratorISt3setIN7atermpp12aterm_stringESt4lessIS6_ESaIS6_EEEEEvRKT_T0_	11
_ZN5mcrl23lps19find_free_variablesINS0_13specificationEEESt3setINS_4data8variableESt4lessIS5_ESaIS5_EERKT_	18
_ZN5mcrl23lps19find_free_variablesINS0_13specificationESt15insert_iteratorISt3setINS_4data8variableESt4lessIS6_ESaIS6_EEEEEvRKT_T0_	18
_ZN5mcrl23lps18find_all_variablesINS0_12multi_actionEEESt3setINS_4data8variableESt4lessIS5_ESaIS5_EERKT_	27
_ZN5mcrl23lps18find_all_variablesINS0_12multi_actionESt15insert_iteratorISt3setINS_4data8variableESt4lessIS6_ESaIS6_EEEEEvRKT_T0_	27
_ZN5mcrl23lps19find_free_variablesINS0_14linear_processEEESt3setINS_4data8variableESt4lessIS5_ESaIS5_EERKT_	35
_ZN5mcrl23lps19find_free_variablesINS0_14linear_processESt15insert_iteratorISt3setINS_4data8variableESt4lessIS6_ESaIS6_EEEEEvRKT_T0_	35
_ZN5mcrl23lps18find_all_variablesINS0_13specificationEEESt3setINS_4data8variableESt4lessIS5_ESaIS5_EERKT_	130
_ZN5mcrl23lps18find_all_variablesINS0_13specificationESt15insert_iteratorISt3setINS_4data8variableESt4lessIS6_ESaIS6_EEEEEvRKT_T0_	130
_ZN5mcrl23lps16find_identifiersINS0_13specificationEEESt3setIN7atermpp12aterm_stringESt4lessIS5_ESaIS5_EERKT_	209
_ZN5mcrl23lps16find_identifiersINS0_13specificationESt15insert_iteratorISt3setIN7atermpp12aterm_stringESt4lessIS6_ESaIS6_EEEEEvRKT_T0_	209
_ZN5mcrl23lps21find_sort_expressionsINS0_13specificationEEESt3setINS_4data15sort_expressionESt4lessIS5_ESaIS5_EERKT_	274
_ZN5mcrl23lps21find_sort_expressionsINS0_13specificationESt15insert_iteratorISt3setINS_4data15sort_expressionESt4lessIS6_ESaIS6_EEEEEvRKT_T0_	275
_ZN5mcrl23lps16find_identifiersINS0_24stochastic_specificationEEESt3setIN7atermpp12aterm_stringESt4lessIS5_ESaIS5_EERKT_	318
_ZN5mcrl23lps16find_identifiersINS0_24stochastic_specificationESt15insert_iteratorISt3setIN7atermpp12aterm_stringESt4lessIS6_ESaIS6_EEEEEvRKT_T0_	318
_ZN5mcrl23lps19find_free_variablesINS0_24stochastic_specificationEEESt3setINS_4data8variableESt4lessIS5_ESaIS5_EERKT_	617
_ZN5mcrl23lps19find_free_variablesINS0_24stochastic_specificationESt15insert_iteratorISt3setINS_4data8variableESt4lessIS6_ESaIS6_EEEEEvRKT_T0_	617
_ZN5mcrl23lps19find_free_variablesISt6vectorINS0_16deadlock_summandESaIS3_EEEESt3setINS_4data8variableESt4lessIS8_ESaIS8_EERKT_	715
_ZN5mcrl23lps19find_free_variablesISt6vectorINS0_16deadlock_summandESaIS3_EESt15insert_iteratorISt3setINS_4data8variableESt4lessIS9_ESaIS9_EEEEEvRKT_T0_	715
_ZN5mcrl23lps19find_free_variablesISt6vectorINS0_25stochastic_action_summandESaIS3_EEEESt3setINS_4data8variableESt4lessIS8_ESaIS8_EERKT_	715
_ZN5mcrl23lps19find_free_variablesISt6vectorINS0_25stochastic_action_summandESaIS3_EESt15insert_iteratorISt3setINS_4data8variableESt4lessIS9_ESaIS9_EEEEEvRKT_T0_	715
_ZN5mcrl23lps16find_identifiersINS0_25stochastic_action_summandEEESt3setIN7atermpp12aterm_stringESt4lessIS5_ESaIS5_EERKT_	1482
_ZN5mcrl23lps16find_identifiersINS0_25stochastic_action_summandESt15insert_iteratorISt3setIN7atermpp12aterm_stringESt4lessIS6_ESaIS6_EEEEEvRKT_T0_	1482
_ZN5mcrl23lps21find_sort_expressionsINS0_24stochastic_specificationEEESt3setINS_4data15sort_expressionESt4lessIS5_ESaIS5_EERKT_	2506
_ZN5mcrl23lps21find_sort_expressionsINS0_24stochastic_specificationESt15insert_iteratorISt3setINS_4data15sort_expressionESt4lessIS6_ESaIS6_EEEEEvRKT_T0_	2506
_ZN5mcrl23lps19find_free_variablesINS0_12multi_actionEEESt3setINS_4data8variableESt4lessIS5_ESaIS5_EERKT_	14676
_ZN5mcrl23lps19find_free_variablesINS0_12multi_actionESt15insert_iteratorISt3setINS_4data8variableESt4lessIS6_ESaIS6_EEEEEvRKT_T0_	14722

Generated by: LCOV version 1.14