LCOV - code coverage report
Current view: top level - core/include/mcrl2/core/detail - default_values.h (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 512 513 99.8 %
Date: 2024-03-08 02:52:28 Functions: 176 176 100.0 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZN5mcrl24core6detail16default_value_NuEv 124
_ZN5mcrl24core6detail17default_value_SeqEv 124
_ZN5mcrl24core6detail17default_value_SumEv 124
_ZN5mcrl24core6detail17default_value_TauEv 124
_ZN5mcrl24core6detail17default_value_WhrEv 124
_ZN5mcrl24core6detail18default_value_CommEv 124
_ZN5mcrl24core6detail18default_value_HideEv 124
_ZN5mcrl24core6detail18default_value_OpIdEv 124
_ZN5mcrl24core6detail18default_value_PBESEv 124
_ZN5mcrl24core6detail18default_value_PRESEv 124
_ZN5mcrl24core6detail18default_value_SyncEv 124
_ZN5mcrl24core6detail19default_value_ActAtEv 124
_ZN5mcrl24core6detail19default_value_ActOrEv 124
_ZN5mcrl24core6detail19default_value_AllowEv 124
_ZN5mcrl24core6detail19default_value_BInitEv 124
_ZN5mcrl24core6detail19default_value_BlockEv 124
_ZN5mcrl24core6detail19default_value_DeltaEv 124
_ZN5mcrl24core6detail19default_value_MergeEv 124
_ZN5mcrl24core6detail19default_value_PBEqnEv 124
_ZN5mcrl24core6detail19default_value_PREqnEv 124
_ZN5mcrl24core6detail20default_value_ActAndEv 124
_ZN5mcrl24core6detail20default_value_ActImpEv 124
_ZN5mcrl24core6detail20default_value_ActNotEv 124
_ZN5mcrl24core6detail20default_value_AtTimeEv 124
_ZN5mcrl24core6detail20default_value_BinderEv 124
_ZN5mcrl24core6detail20default_value_ChoiceEv 124
_ZN5mcrl24core6detail20default_value_ExistsEv 124
_ZN5mcrl24core6detail20default_value_IfThenEv 124
_ZN5mcrl24core6detail20default_value_LMergeEv 124
_ZN5mcrl24core6detail20default_value_LambdaEv 124
_ZN5mcrl24core6detail20default_value_PBESOrEv 124
_ZN5mcrl24core6detail20default_value_PRESOrEv 124
_ZN5mcrl24core6detail20default_value_RegAltEv 124
_ZN5mcrl24core6detail20default_value_RegNilEv 124
_ZN5mcrl24core6detail20default_value_RegSeqEv 124
_ZN5mcrl24core6detail20default_value_RenameEv 124
_ZN5mcrl24core6detail21default_value_ActTrueEv 124
_ZN5mcrl24core6detail21default_value_BagCompEv 124
_ZN5mcrl24core6detail21default_value_DataEqnEv 124
_ZN5mcrl24core6detail21default_value_PBESAndEv 124
_ZN5mcrl24core6detail21default_value_PBESImpEv 124
_ZN5mcrl24core6detail21default_value_PBESNotEv 124
_ZN5mcrl24core6detail21default_value_PRESAndEv 124
_ZN5mcrl24core6detail21default_value_PRESImpEv 124
_ZN5mcrl24core6detail21default_value_PRESSumEv 124
_ZN5mcrl24core6detail21default_value_ProcEqnEv 124
_ZN5mcrl24core6detail21default_value_ProcessEv 124
_ZN5mcrl24core6detail21default_value_SetCompEv 124
_ZN5mcrl24core6detail21default_value_SortBagEv 124
_ZN5mcrl24core6detail21default_value_SortRefEv 124
_ZN5mcrl24core6detail21default_value_SortSetEv 124
_ZN5mcrl24core6detail21default_value_StateMuEv 124
_ZN5mcrl24core6detail21default_value_StateNuEv 124
_ZN5mcrl24core6detail21default_value_StateOrEv 124
_ZN5mcrl24core6detail22default_value_ActFalseEv 124
_ZN5mcrl24core6detail22default_value_CommExprEv 124
_ZN5mcrl24core6detail22default_value_PBESTrueEv 124
_ZN5mcrl24core6detail22default_value_PRESPlusEv 124
_ZN5mcrl24core6detail22default_value_PRESTrueEv 124
_ZN5mcrl24core6detail22default_value_ProcSpecEv 124
_ZN5mcrl24core6detail22default_value_RegTransEv 124
_ZN5mcrl24core6detail22default_value_SortConsEv 124
_ZN5mcrl24core6detail22default_value_SortDeclEv 124
_ZN5mcrl24core6detail22default_value_SortFBagEv 124
_ZN5mcrl24core6detail22default_value_SortFSetEv 124
_ZN5mcrl24core6detail22default_value_StateAndEv 124
_ZN5mcrl24core6detail22default_value_StateImpEv 124
_ZN5mcrl24core6detail22default_value_StateMayEv 124
_ZN5mcrl24core6detail22default_value_StateNotEv 124
_ZN5mcrl24core6detail22default_value_StateVarEv 124
_ZN5mcrl24core6detail23default_value_ActExistsEv 124
_ZN5mcrl24core6detail23default_value_ActForallEv 124
_ZN5mcrl24core6detail23default_value_PBESFalseEv 124
_ZN5mcrl24core6detail23default_value_PRESEqInfEv 124
_ZN5mcrl24core6detail23default_value_PRESFalseEv 124
_ZN5mcrl24core6detail23default_value_PRESMinusEv 124
_ZN5mcrl24core6detail23default_value_SortArrowEv 124
_ZN5mcrl24core6detail23default_value_StateMustEv 124
_ZN5mcrl24core6detail23default_value_StatePlusEv 124
_ZN5mcrl24core6detail23default_value_StateTrueEv 124
_ZN5mcrl24core6detail24default_value_ActMultActEv 124
_ZN5mcrl24core6detail24default_value_IfThenElseEv 124
_ZN5mcrl24core6detail24default_value_PBESExistsEv 124
_ZN5mcrl24core6detail24default_value_PBESForallEv 124
_ZN5mcrl24core6detail24default_value_PRESCondEqEv 124
_ZN5mcrl24core6detail24default_value_PRESCondSmEv 124
_ZN5mcrl24core6detail24default_value_PRESEqNInfEv 124
_ZN5mcrl24core6detail24default_value_RenameExprEv 124
_ZN5mcrl24core6detail24default_value_SortStructEv 124
_ZN5mcrl24core6detail24default_value_StateDelayEv 124
_ZN5mcrl24core6detail24default_value_StateFalseEv 124
_ZN5mcrl24core6detail24default_value_StateMinusEv 124
_ZN5mcrl24core6detail24default_value_StateYaledEv 124
_ZN5mcrl24core6detail24default_value_StructProjEv 124
_ZN5mcrl24core6detail25default_value_LinProcSpecEv 124
_ZN5mcrl24core6detail25default_value_PRESInfimumEv 124
_ZN5mcrl24core6detail25default_value_StateExistsEv 124
_ZN5mcrl24core6detail25default_value_StateForallEv 124
_ZN5mcrl24core6detail26default_value_PRESSupremumEv 124
_ZN5mcrl24core6detail26default_value_StateInfimumEv 124
_ZN5mcrl24core6detail26default_value_TimedMultActEv 124
_ZN5mcrl24core6detail27default_value_RegTransOrNilEv 124
_ZN5mcrl24core6detail27default_value_StateSupremumEv 124
_ZN5mcrl24core6detail27default_value_UntypedRegFrmEv 124
_ZN5mcrl24core6detail29default_value_StateDelayTimedEv 124
_ZN5mcrl24core6detail29default_value_StateYaledTimedEv 124
_ZN5mcrl24core6detail30default_value_ActionRenameRuleEv 124
_ZN5mcrl24core6detail30default_value_ActionRenameSpecEv 124
_ZN5mcrl24core6detail31default_value_ProcessAssignmentEv 124
_ZN5mcrl24core6detail31default_value_UntypedIdentifierEv 124
_ZN5mcrl24core6detail31default_value_UntypedSetBagCompEv 124
_ZN5mcrl24core6detail32default_value_StochasticOperatorEv 124
_ZN5mcrl24core6detail32default_value_UntypedMultiActionEv 124
_ZN5mcrl24core6detail32default_value_UntypedSortUnknownEv 124
_ZN5mcrl24core6detail33default_value_UntypedSortVariableEv 124
_ZN5mcrl24core6detail34default_value_LinearProcessSummandEv 124
_ZN5mcrl24core6detail34default_value_PRESConstantMultiplyEv 124
_ZN5mcrl24core6detail34default_value_UntypedSortsPossibleEv 124
_ZN5mcrl24core6detail35default_value_StateConstantMultiplyEv 124
_ZN5mcrl24core6detail37default_value_PRESConstantMultiplyAltEv 124
_ZN5mcrl24core6detail38default_value_StateConstantMultiplyAltEv 124
_ZN5mcrl24core6detail38default_value_UntypedProcessAssignmentEv 124
_ZN5mcrl24core6detail41default_value_UntypedIdentifierAssignmentEv 124
_ZN5mcrl24core6detail19default_value_ActIdEv 248
_ZN5mcrl24core6detail20default_value_NumberEv 248
_ZN5mcrl24core6detail20default_value_PBInitEv 248
_ZN5mcrl24core6detail20default_value_PRInitEv 248
_ZN5mcrl24core6detail21default_value_MapSpecEv 248
_ZN5mcrl24core6detail21default_value_WhrDeclEv 248
_ZN5mcrl24core6detail22default_value_ConsSpecEv 248
_ZN5mcrl24core6detail22default_value_ProcInitEv 248
_ZN5mcrl24core6detail22default_value_SortSpecEv 248
_ZN5mcrl24core6detail23default_value_PBEqnSpecEv 248
_ZN5mcrl24core6detail23default_value_PREqnSpecEv 248
_ZN5mcrl24core6detail24default_value_StructConsEv 248
_ZN5mcrl24core6detail25default_value_DataEqnSpecEv 248
_ZN5mcrl24core6detail25default_value_MultActNameEv 248
_ZN5mcrl24core6detail25default_value_ProcEqnSpecEv 248
_ZN5mcrl24core6detail26default_value_SortConsTypeEv 248
_ZN5mcrl24core6detail27default_value_LinearProcessEv 248
_ZN5mcrl24core6detail27default_value_StringOrEmptyEv 248
_ZN5mcrl24core6detail28default_value_MultActOrDeltaEv 248
_ZN5mcrl24core6detail29default_value_BindingOperatorEv 248
_ZN5mcrl24core6detail29default_value_ParamIdOrActionEv 248
_ZN5mcrl24core6detail31default_value_ActionRenameRulesEv 248
_ZN5mcrl24core6detail31default_value_LinearProcessInitEv 248
_ZN5mcrl24core6detail33default_value_ActionRenameRuleRHSEv 248
_ZN5mcrl24core6detail20default_value_ForallEv 372
_ZN5mcrl24core6detail21default_value_MultActEv 372
_ZN5mcrl24core6detail22default_value_FixPointEv 372
_ZN5mcrl24core6detail22default_value_SortListEv 372
_ZN5mcrl24core6detail25default_value_ProcessInitEv 372
_ZN5mcrl24core6detail25default_value_PropVarDeclEv 372
_ZN5mcrl24core6detail25default_value_PropVarInstEv 372
_ZN5mcrl24core6detail26default_value_DistributionEv 372
_ZN5mcrl24core6detail27default_value_DataVarIdInitEv 372
_ZN5mcrl24core6detail16default_value_MuEv 496
_ZN5mcrl24core6detail21default_value_ActSpecEv 496
_ZN5mcrl24core6detail23default_value_ProcVarIdEv 496
_ZN5mcrl24core6detail25default_value_GlobVarSpecEv 620
_ZN5mcrl24core6detail34default_value_UntypedDataParameterEv 620
_ZN5mcrl24core6detail22default_value_DataSpecEv 744
_ZN5mcrl24core6detail22default_value_SortExprEv 1116
_ZN5mcrl24core6detail20default_value_PBExprEv 1364
_ZN5mcrl24core6detail20default_value_RegFrmEv 1364
_ZN5mcrl24core6detail20default_value_SortIdEv 1488
_ZN5mcrl24core6detail18default_value_ListERKN7atermpp5atermE 2356
_ZN5mcrl24core6detail20default_value_StringEv 2480
_ZN5mcrl24core6detail22default_value_StateFrmEv 2604
_ZN5mcrl24core6detail20default_value_ActFrmEv 2728
_ZN5mcrl24core6detail20default_value_PRExprEv 2976
_ZN5mcrl24core6detail22default_value_ProcExprEv 3224
_ZN5mcrl24core6detail20default_value_ActionEv 3348
_ZN5mcrl24core6detail18default_value_ListEv 5084
_ZN5mcrl24core6detail22default_value_DataExprEv 12648
_ZN5mcrl24core6detail23default_value_DataVarIdEv 14632

Generated by: LCOV version 1.14