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
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