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-04-21 03:44:01 Functions: 161 162 99.4 % Legend: Lines: hit not hit

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

Generated by: LCOV version 1.14