LCOV - code coverage report
Current view:
top level
-
utilities/include/mcrl2/utilities
- unused.h
(
source
/ functions)
Hit
Total
Coverage
Test:
mcrl2_coverage.info.cleaned
Lines:
2
2
100.0 %
Date:
2024-05-04 03:44:52
Functions:
135
154
87.7 %
Legend:
Lines:
hit
not hit
Function Name
Hit count
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_11pbes_system22propositional_variableEEEEvDpOT_
0
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_11pres_system18const_multiply_altEEEEvDpOT_
0
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_11pres_system3sumEEEEvDpOT_
0
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_14state_formulas4plusEEEEvDpOT_
0
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_14state_formulas5delayEEEEvDpOT_
0
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_14state_formulas5minusEEEEvDpOT_
0
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_14state_formulas5yaledEEEEvDpOT_
0
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_15action_formulas2atEEEEvDpOT_
0
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_15action_formulas3impEEEEvDpOT_
0
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_16regular_formulas5transEEEEvDpOT_
0
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data13data_equationEEEEvDpOT_
0
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_7process10left_mergeEEEEvDpOT_
0
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_7process12bounded_initEEEEvDpOT_
0
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_7process5blockEEEEvDpOT_
0
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_7process6renameEEEEvDpOT_
0
_ZN5mcrl29utilities12mcrl2_unusedIJRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERP8_IO_FILEEEEvDpOT_
0
_ZN5mcrl29utilities12mcrl2_unusedIJRKSt4pairIN7atermpp15function_symbolEPFvRKNS3_5atermEEEEEEvDpOT_
0
_ZN5mcrl29utilities12mcrl2_unusedIJRN9__gnu_cxx17__normal_iteratorIPKNS_4data8variableESt6vectorIS5_SaIS5_EEEEEEEvDpOT_
0
_ZN5mcrl29utilities12mcrl2_unusedIJRZNS_3lts21state_space_generatorILb1ELb1ENS_3lps24stochastic_specificationEE7exploreINS2_22stochastic_lts_builderEEEbRT_EUlRKNS4_16stochastic_stateERKNSt7__cxx114listImSaImEEEE3_EEEvDpOT_
0
_ZN5mcrl29utilities12mcrl2_unusedIJRK2t3EEEvDpOT_
1
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_11pres_system6condsmEEEEvDpOT_
1
_ZN5mcrl29utilities12mcrl2_unusedIJRNS_4data6detail26term_appl_prepend_iteratorIN9__gnu_cxx17__normal_iteratorIPNS2_15data_expressionESt6vectorIS7_SaIS7_EEEEEEEEEvDpOT_
2
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_3lps12multi_actionEEEEvDpOT_
4
_ZN5mcrl29utilities12mcrl2_unusedIJRZNS_3lts21state_space_generatorILb0ELb1ENS_3lps13specificationEE7exploreINS2_11lts_builderEEEbRT_EUlRKNS4_16stochastic_stateERKNSt7__cxx114listImSaImEEEE3_EEEvDpOT_
6
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_16regular_formulas23untyped_regular_formulaEEEEvDpOT_
10
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_16regular_formulas3altEEEEvDpOT_
10
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_14state_formulas14const_multiplyEEEEvDpOT_
11
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_14state_formulas18const_multiply_altEEEEvDpOT_
11
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_14state_formulas3sumEEEEvDpOT_
11
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_14state_formulas8supremumEEEEvDpOT_
11
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_16regular_formulas3seqEEEEvDpOT_
12
_ZN5mcrl29utilities12mcrl2_unusedIJRZNS_3lts21state_space_generatorILb0ELb0ENS_3lps24stochastic_specificationEE7exploreINS2_11lts_builderEEEbRT_EUlRKNS4_16stochastic_stateERKNSt7__cxx114listImSaImEEEE3_EEEvDpOT_
12
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_11pres_system5eqinfEEEEvDpOT_
14
_ZN5mcrl29utilities12mcrl2_unusedIJRZNS_3lts21state_space_generatorILb1ELb0ENS_3lps24stochastic_specificationEE7exploreINS2_22stochastic_lts_builderEEEbRT_EUlRKNS4_16stochastic_stateERKNSt7__cxx114listImSaImEEEE3_EEEvDpOT_
18
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_14state_formulas7infimumEEEEvDpOT_
22
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_11pres_system6eqninfEEEEvDpOT_
27
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_15action_formulas6existsEEEEvDpOT_
28
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_14state_formulas11yaled_timedEEEEvDpOT_
36
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_11pres_system5minusEEEEvDpOT_
42
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_14state_formulas11delay_timedEEEEvDpOT_
46
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_15action_formulas6forallEEEEvDpOT_
47
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_15action_formulas6false_EEEEvDpOT_
49
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_15action_formulas3or_EEEEvDpOT_
57
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_11pres_system3impEEEEvDpOT_
64
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_11pres_system4plusEEEEvDpOT_
64
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_11pres_system7infimumEEEEvDpOT_
76
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_11pres_system6condeqEEEEvDpOT_
77
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_11pres_system8supremumEEEEvDpOT_
82
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_14state_formulas6existsEEEEvDpOT_
145
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_15action_formulas4and_EEEEvDpOT_
148
_ZN5mcrl29utilities12mcrl2_unusedIJRZNS_3lts21state_space_generatorILb0ELb0ENS_3lps13specificationEE7exploreINS2_11lts_builderEEEbRT_EUlRKNS4_16stochastic_stateERKNSt7__cxx114listImSaImEEEE3_EEEvDpOT_
156
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data29untyped_identifier_assignmentEEEEvDpOT_
160
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_16regular_formulas12trans_or_nilEEEEvDpOT_
176
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_11pres_system14const_multiplyEEEEvDpOT_
293
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_14state_formulas6forallEEEEvDpOT_
324
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data13bag_containerEEEEvDpOT_
324
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_14state_formulas3impEEEEvDpOT_
352
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_7process20untyped_multi_actionEEEEvDpOT_
361
_ZN5mcrl29utilities12mcrl2_unusedIJRKN7atermpp9term_applINS2_5atermEEEEEEvDpOT_
375
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_7process4hideEEEEvDpOT_
444
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_15action_formulas4not_EEEEvDpOT_
456
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data10assignmentEEEEvDpOT_
500
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_11pres_system4and_EEEEvDpOT_
522
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_11pres_system3or_EEEEvDpOT_
532
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_11pres_system36propositional_variable_instantiationEEEEvDpOT_
537
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data13set_containerEEEEvDpOT_
558
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data5aliasEEEEvDpOT_
567
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data12where_clauseEEEEvDpOT_
642
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data14fset_containerEEEEvDpOT_
704
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_7process3tauEEEEvDpOT_
784
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_15action_formulas5true_EEEEvDpOT_
791
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_7process26untyped_process_assignmentEEEEvDpOT_
882
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_14state_formulas4not_EEEEvDpOT_
1023
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_7process5allowEEEEvDpOT_
1256
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data14fbag_containerEEEEvDpOT_
1409
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data14list_containerEEEEvDpOT_
1661
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_11pbes_system4not_EEEEvDpOT_
1718
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_14state_formulas6false_EEEEvDpOT_
1964
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_14state_formulas5true_EEEEvDpOT_
1966
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data21untyped_sort_variableEEEEvDpOT_
1980
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_7process4commEEEEvDpOT_
2207
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_14state_formulas3or_EEEEvDpOT_
2282
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_15action_formulas12multi_actionEEEEvDpOT_
2376
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_7process5deltaEEEEvDpOT_
2490
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_14state_formulas2muEEEEvDpOT_
3111
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_7process19stochastic_operatorEEEEvDpOT_
3514
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_14state_formulas4and_EEEEvDpOT_
3592
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_14state_formulas2nuEEEEvDpOT_
3682
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_7process12if_then_elseEEEEvDpOT_
3873
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_14state_formulas3mayEEEEvDpOT_
4071
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_14state_formulas8variableEEEEvDpOT_
4342
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_11pbes_system6existsEEEEvDpOT_
4829
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_14state_formulas4mustEEEEvDpOT_
4966
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_11pbes_system3impEEEEvDpOT_
5294
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_11pbes_system6forallEEEEvDpOT_
6290
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_7process5mergeEEEEvDpOT_
7632
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_11pbes_system15fixpoint_symbolEEEEvDpOT_
8148
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data12untyped_sortEEEEvDpOT_
8996
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_7process2atEEEEvDpOT_
9164
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_7process16process_instanceEEEEvDpOT_
9550
_ZN5mcrl29utilities12mcrl2_unusedIJRNS_4data6detail26term_appl_prepend_iteratorIN9__gnu_cxx17__normal_iteratorIPKNS2_8variableESt6vectorIS7_SaIS7_EEEEEEEEEvDpOT_
10082
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_7process4syncEEEEvDpOT_
11873
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data22untyped_data_parameterEEEEvDpOT_
11931
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data22untyped_possible_sortsEEEEvDpOT_
14329
_ZN5mcrl29utilities12mcrl2_unusedIJRN9__gnu_cxx17__normal_iteratorIPN7atermpp5atermESt6vectorIS5_SaIS5_EEEEEEEvDpOT_
14838
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_7process3sumEEEEvDpOT_
16804
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data15structured_sortEEEEvDpOT_
18584
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_3lps19process_initializerEEEEvDpOT_
18855
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_3lps23stochastic_distributionEEEEvDpOT_
25705
_ZN5mcrl29utilities12mcrl2_unusedIJRPNS_4data6detail22RewriterCompilingJittyEEEEvDpOT_
26172
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_7process7if_thenEEEEvDpOT_
26699
_ZN5mcrl29utilities12mcrl2_unusedIJRNS_4data6detail26term_appl_prepend_iteratorIN9__gnu_cxx17__normal_iteratorIPKNS2_15data_expressionESt6vectorIS7_SaIS7_EEEEEEEEEvDpOT_
31556
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_7process6actionEEEEvDpOT_
36442
_ZN5mcrl29utilities12mcrl2_unusedIJRmEEEvDpOT_
36588
_ZN5mcrl29utilities12mcrl2_unusedIJRNS_4data6detail26term_appl_prepend_iteratorIN7atermpp18term_list_iteratorINS2_15data_expressionEEEEEEEEvDpOT_
36664
_ZN5mcrl29utilities12mcrl2_unusedIJRNS_4data6detail26term_appl_prepend_iteratorIN7atermpp18term_list_iteratorINS2_8variableEEEEEEEEvDpOT_
36672
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_7process6choiceEEEEvDpOT_
39881
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_7process20action_name_multisetEEEEvDpOT_
46271
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_11pbes_system3or_EEEEvDpOT_
50356
_ZN5mcrl29utilities12mcrl2_unusedIJRN9__gnu_cxx17__normal_iteratorIPPN7atermpp6detail15aterm_containerESt6vectorIS7_SaIS7_EEEEEEEvDpOT_
52057
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_11pbes_system4and_EEEEvDpOT_
56391
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_7process27process_instance_assignmentEEEEvDpOT_
65192
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_11pbes_system36propositional_variable_instantiationEEEEvDpOT_
71145
_ZN5mcrl29utilities12mcrl2_unusedIJRNS_4data6detail26term_appl_prepend_iteratorIN9__gnu_cxx17__normal_iteratorIPNS2_8variableESt6vectorIS7_SaIS7_EEEEEEEEEvDpOT_
78775
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_16regular_formulas15regular_formulaEEEEvDpOT_
83275
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data18untyped_identifierEEEEvDpOT_
89049
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data21assignment_expressionEEEEvDpOT_
89564
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_11pres_system15pres_expressionEEEEvDpOT_
97097
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_7process18process_identifierEEEEvDpOT_
99091
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_7process3seqEEEEvDpOT_
103401
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data11abstractionEEEEvDpOT_
105409
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_15action_formulas14action_formulaEEEEvDpOT_
137012
_ZN5mcrl29utilities12mcrl2_unusedIJRN7atermpp18term_list_iteratorINS2_5atermEEEEEEvDpOT_
274374
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data11binder_typeEEEEvDpOT_
329468
_ZN5mcrl29utilities12mcrl2_unusedIJRN7atermpp18term_appl_iteratorINS2_5atermEEEEEEvDpOT_
329506
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_7process12action_labelEEEEvDpOT_
448473
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_14state_formulas13state_formulaEEEEvDpOT_
1478748
_ZN5mcrl29utilities12mcrl2_unusedIJRNS_4data6detail26term_appl_prepend_iteratorIN9__gnu_cxx17__normal_iteratorIPKN7atermpp6detail15reference_atermINS2_15data_expressionEvEESt6vectorISB_SaISB_EEEEEEEEEvDpOT_
1704884
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data14container_sortEEEEvDpOT_
3258019
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_11pbes_system15pbes_expressionEEEEvDpOT_
6387807
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data10basic_sortEEEEvDpOT_
7977190
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_7process18process_expressionEEEEvDpOT_
8120388
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data14container_typeEEEEvDpOT_
8993096
_ZN5mcrl29utilities12mcrl2_unusedIJRNS_4data6detail26term_appl_prepend_iteratorIN7atermpp18term_appl_iteratorINS2_15data_expressionEEEEEEEEvDpOT_
9836954
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data8variableEEEEvDpOT_
27997992
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data13function_sortEEEEvDpOT_
41000989
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data11applicationEEEEvDpOT_
42516813
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data15function_symbolEEEEvDpOT_
47088191
_ZN5mcrl29utilities12mcrl2_unusedIJRPN7atermpp17unprotected_atermEEEEvDpOT_
65812155
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data15sort_expressionEEEEvDpOT_
758594429
_ZN5mcrl29utilities12mcrl2_unusedIJRKNS_4data15data_expressionEEEEvDpOT_
1042408635
_ZN5mcrl29utilities12mcrl2_unusedIJRKN7atermpp5atermEEEEvDpOT_
12771746545
_ZN5mcrl29utilities12mcrl2_unusedIJRN9__gnu_cxx17__normal_iteratorIPPN7atermpp5atermESt6vectorIS6_SaIS6_EEEEEEEvDpOT_
21756409179
_ZN5mcrl29utilities12mcrl2_unusedIJRbEEEvDpOT_
21756467260
Generated by:
LCOV version 1.14