LCOV - code coverage report
Current view:
top level
-
core/include/mcrl2/core/detail
- function_symbols.h
(
source
/ functions)
Hit
Total
Coverage
Test:
mcrl2_coverage.info.cleaned
Lines:
486
496
98.0 %
Date:
2024-05-04 03:44:52
Functions:
161
162
99.4 %
Legend:
Lines:
hit
not hit
Function Name
Hit count
_ZN5mcrl24core6detail12gsIsDataApplERKN7atermpp9term_applINS2_5atermEEE
277243552
_ZN5mcrl24core6detail18function_symbol_MuEv
3385
_ZN5mcrl24core6detail18function_symbol_NuEv
886
_ZN5mcrl24core6detail19function_symbol_SeqEv
29876
_ZN5mcrl24core6detail19function_symbol_SumEv
6280
_ZN5mcrl24core6detail19function_symbol_TauEv
256
_ZN5mcrl24core6detail19function_symbol_WhrEv
727
_ZN5mcrl24core6detail20function_symbol_CommEv
1107
_ZN5mcrl24core6detail20function_symbol_HideEv
424
_ZN5mcrl24core6detail20function_symbol_OpIdEv
19954873
_ZN5mcrl24core6detail20function_symbol_PBESEv
455
_ZN5mcrl24core6detail20function_symbol_PRESEv
257
_ZN5mcrl24core6detail20function_symbol_SyncEv
3390
_ZN5mcrl24core6detail21function_symbol_ActAtEv
256
_ZN5mcrl24core6detail21function_symbol_ActIdEv
17857
_ZN5mcrl24core6detail21function_symbol_ActOrEv
274
_ZN5mcrl24core6detail21function_symbol_AllowEv
740
_ZN5mcrl24core6detail21function_symbol_BInitEv
256
_ZN5mcrl24core6detail21function_symbol_BlockEv
256
_ZN5mcrl24core6detail21function_symbol_DeltaEv
288
_ZN5mcrl24core6detail21function_symbol_MergeEv
2581
_ZN5mcrl24core6detail21function_symbol_PBEqnEv
963
_ZN5mcrl24core6detail21function_symbol_PREqnEv
257
_ZN5mcrl24core6detail21gsIsDataAppl_no_checkERKN7atermpp9term_applINS2_5atermEEE
18824
_ZN5mcrl24core6detail22function_symbol_ActAndEv
305
_ZN5mcrl24core6detail22function_symbol_ActImpEv
256
_ZN5mcrl24core6detail22function_symbol_ActNotEv
434
_ZN5mcrl24core6detail22function_symbol_ActionEv
35194
_ZN5mcrl24core6detail22function_symbol_AtTimeEv
12256
_ZN5mcrl24core6detail22function_symbol_BinderEv
50884
_ZN5mcrl24core6detail22function_symbol_ChoiceEv
9373
_ZN5mcrl24core6detail22function_symbol_ExistsEv
256
_ZN5mcrl24core6detail22function_symbol_ForallEv
256
_ZN5mcrl24core6detail22function_symbol_IfThenEv
7807
_ZN5mcrl24core6detail22function_symbol_LMergeEv
256
_ZN5mcrl24core6detail22function_symbol_LambdaEv
256
_ZN5mcrl24core6detail22function_symbol_PBESOrEv
8141
_ZN5mcrl24core6detail22function_symbol_PBInitEv
455
_ZN5mcrl24core6detail22function_symbol_PRESOrEv
416
_ZN5mcrl24core6detail22function_symbol_PRInitEv
257
_ZN5mcrl24core6detail22function_symbol_RegAltEv
260
_ZN5mcrl24core6detail22function_symbol_RegNilEv
256
_ZN5mcrl24core6detail22function_symbol_RegSeqEv
259
_ZN5mcrl24core6detail22function_symbol_RenameEv
256
_ZN5mcrl24core6detail22function_symbol_SortIdEv
3914
_ZN5mcrl24core6detail23function_symbol_ActSpecEv
396
_ZN5mcrl24core6detail23function_symbol_ActTrueEv
256
_ZN5mcrl24core6detail23function_symbol_BagCompEv
256
_ZN5mcrl24core6detail23function_symbol_DataEqnEv
8345377
_ZN5mcrl24core6detail23function_symbol_MapSpecEv
600
_ZN5mcrl24core6detail23function_symbol_MultActEv
256
_ZN5mcrl24core6detail23function_symbol_PBESAndEv
13990
_ZN5mcrl24core6detail23function_symbol_PBESImpEv
1512
_ZN5mcrl24core6detail23function_symbol_PBESNotEv
1410
_ZN5mcrl24core6detail23function_symbol_PRESAndEv
364
_ZN5mcrl24core6detail23function_symbol_PRESImpEv
272
_ZN5mcrl24core6detail23function_symbol_PRESSumEv
256
_ZN5mcrl24core6detail23function_symbol_ProcEqnEv
4834
_ZN5mcrl24core6detail23function_symbol_ProcessEv
4839
_ZN5mcrl24core6detail23function_symbol_SetCompEv
256
_ZN5mcrl24core6detail23function_symbol_SortBagEv
256
_ZN5mcrl24core6detail23function_symbol_SortRefEv
1396
_ZN5mcrl24core6detail23function_symbol_SortSetEv
256
_ZN5mcrl24core6detail23function_symbol_StateMuEv
968
_ZN5mcrl24core6detail23function_symbol_StateNuEv
840
_ZN5mcrl24core6detail23function_symbol_StateOrEv
581
_ZN5mcrl24core6detail24function_symbol_ActFalseEv
256
_ZN5mcrl24core6detail24function_symbol_CommExprEv
649
_ZN5mcrl24core6detail24function_symbol_ConsSpecEv
600
_ZN5mcrl24core6detail24function_symbol_DataApplEm
296923660
_ZN5mcrl24core6detail24function_symbol_DataSpecEv
600
_ZN5mcrl24core6detail24function_symbol_PBESTrueEv
256
_ZN5mcrl24core6detail24function_symbol_PRESPlusEv
279
_ZN5mcrl24core6detail24function_symbol_PRESTrueEv
256
_ZN5mcrl24core6detail24function_symbol_ProcSpecEv
256
_ZN5mcrl24core6detail24function_symbol_RegTransEv
256
_ZN5mcrl24core6detail24function_symbol_SortConsEv
2474614
_ZN5mcrl24core6detail24function_symbol_SortFBagEv
256
_ZN5mcrl24core6detail24function_symbol_SortFSetEv
256
_ZN5mcrl24core6detail24function_symbol_SortListEv
256
_ZN5mcrl24core6detail24function_symbol_SortSpecEv
600
_ZN5mcrl24core6detail24function_symbol_StateAndEv
851
_ZN5mcrl24core6detail24function_symbol_StateImpEv
405
_ZN5mcrl24core6detail24function_symbol_StateMayEv
1082
_ZN5mcrl24core6detail24function_symbol_StateNotEv
702
_ZN5mcrl24core6detail24function_symbol_StateSumEv
261
_ZN5mcrl24core6detail24function_symbol_StateVarEv
849
_ZN5mcrl24core6detail25function_symbol_ActExistsEv
267
_ZN5mcrl24core6detail25function_symbol_ActForallEv
274
_ZN5mcrl24core6detail25function_symbol_DataVarIdEv
15053885
_ZN5mcrl24core6detail25function_symbol_PBESFalseEv
256
_ZN5mcrl24core6detail25function_symbol_PBEqnSpecEv
455
_ZN5mcrl24core6detail25function_symbol_PRESEqInfEv
269
_ZN5mcrl24core6detail25function_symbol_PRESFalseEv
256
_ZN5mcrl24core6detail25function_symbol_PRESMinusEv
300
_ZN5mcrl24core6detail25function_symbol_PREqnSpecEv
257
_ZN5mcrl24core6detail25function_symbol_ProcVarIdEv
7614
_ZN5mcrl24core6detail25function_symbol_SortArrowEv
17912589
_ZN5mcrl24core6detail25function_symbol_StateMustEv
1266
_ZN5mcrl24core6detail25function_symbol_StatePlusEv
256
_ZN5mcrl24core6detail25function_symbol_StateTrueEv
256
_ZN5mcrl24core6detail26function_symbol_ActMultActEv
851
_ZN5mcrl24core6detail26function_symbol_IfThenElseEv
1066
_ZN5mcrl24core6detail26function_symbol_PBESExistsEv
1799
_ZN5mcrl24core6detail26function_symbol_PBESForallEv
2094
_ZN5mcrl24core6detail26function_symbol_PRESCondEqEv
314
_ZN5mcrl24core6detail26function_symbol_PRESCondSmEv
259
_ZN5mcrl24core6detail26function_symbol_PRESEqNInfEv
284
_ZN5mcrl24core6detail26function_symbol_RenameExprEv
267
_ZN5mcrl24core6detail26function_symbol_SortStructEv
32030
_ZN5mcrl24core6detail26function_symbol_StateDelayEv
256
_ZN5mcrl24core6detail26function_symbol_StateFalseEv
256
_ZN5mcrl24core6detail26function_symbol_StateMinusEv
256
_ZN5mcrl24core6detail26function_symbol_StateYaledEv
256
_ZN5mcrl24core6detail26function_symbol_StructConsEv
60465
_ZN5mcrl24core6detail26function_symbol_StructProjEv
32987
_ZN5mcrl24core6detail27function_symbol_DataEqnSpecEv
600
_ZN5mcrl24core6detail27function_symbol_GlobVarSpecEv
596
_ZN5mcrl24core6detail27function_symbol_LinProcSpecEv
396
_ZN5mcrl24core6detail27function_symbol_MultActNameEv
1200
_ZN5mcrl24core6detail27function_symbol_OpIdNoIndexEv
249408
_ZN5mcrl24core6detail27function_symbol_PRESInfimumEv
274
_ZN5mcrl24core6detail27function_symbol_ProcEqnSpecEv
256
_ZN5mcrl24core6detail27function_symbol_ProcessInitEv
256
_ZN5mcrl24core6detail27function_symbol_PropVarDeclEv
7012
_ZN5mcrl24core6detail27function_symbol_PropVarInstEv
26535
_ZN5mcrl24core6detail27function_symbol_StateExistsEv
307
_ZN5mcrl24core6detail27function_symbol_StateForallEv
371
_ZN5mcrl24core6detail28function_symbol_DistributionEv
30311
_ZN5mcrl24core6detail28function_symbol_PRESSupremumEv
279
_ZN5mcrl24core6detail28function_symbol_StateInfimumEv
266
_ZN5mcrl24core6detail28function_symbol_TimedMultActEv
52623
_ZN5mcrl24core6detail29function_symbol_DataVarIdInitEv
57542
_ZN5mcrl24core6detail29function_symbol_LinearProcessEv
396
_ZN5mcrl24core6detail29function_symbol_RegTransOrNilEv
365
_ZN5mcrl24core6detail29function_symbol_StateSupremumEv
261
_ZN5mcrl24core6detail29function_symbol_UntypedRegFrmEv
266
_ZN5mcrl24core6detail31function_symbol_DataAppl_helperEm
0
_ZN5mcrl24core6detail31function_symbol_StateDelayTimedEv
271
_ZN5mcrl24core6detail31function_symbol_StateYaledTimedEv
263
_ZN5mcrl24core6detail32function_symbol_ActionRenameRuleEv
256
_ZN5mcrl24core6detail32function_symbol_ActionRenameSpecEv
256
_ZN5mcrl24core6detail32function_symbol_DataVarIdNoIndexEv
221030
_ZN5mcrl24core6detail33function_symbol_ActionRenameRulesEv
256
_ZN5mcrl24core6detail33function_symbol_LinearProcessInitEv
4421
_ZN5mcrl24core6detail33function_symbol_ProcessAssignmentEv
16372
_ZN5mcrl24core6detail33function_symbol_UntypedIdentifierEv
23120
_ZN5mcrl24core6detail33function_symbol_UntypedSetBagCompEv
256
_ZN5mcrl24core6detail34function_symbol_PropVarInstNoIndexEv
282
_ZN5mcrl24core6detail34function_symbol_StochasticOperatorEv
2295
_ZN5mcrl24core6detail34function_symbol_UntypedMultiActionEv
632
_ZN5mcrl24core6detail34function_symbol_UntypedSortUnknownEv
256
_ZN5mcrl24core6detail35function_symbol_UntypedSortVariableEv
768
_ZN5mcrl24core6detail36function_symbol_LinearProcessSummandEv
421
_ZN5mcrl24core6detail36function_symbol_PRESConstantMultiplyEv
311
_ZN5mcrl24core6detail36function_symbol_UntypedDataParameterEv
12549
_ZN5mcrl24core6detail36function_symbol_UntypedSortsPossibleEv
3874
_ZN5mcrl24core6detail37function_symbol_StateConstantMultiplyEv
261
_ZN5mcrl24core6detail39function_symbol_PRESConstantMultiplyAltEv
256
_ZN5mcrl24core6detail40function_symbol_StateConstantMultiplyAltEv
261
_ZN5mcrl24core6detail40function_symbol_UntypedProcessAssignmentEv
1138
_ZN5mcrl24core6detail43function_symbol_UntypedIdentifierAssignmentEv
2286
Generated by:
LCOV version 1.14