Test Result : FunctionValueJavaGenTest

0 failures (±0) , 36 skipped (±0)
36 tests (±0)
Took 0 ms.

All Tests

Test nameDurationStatus
Package core / test[CurriedAdd1.vdmpp]0 msSkipped
test[CurriedAdd1.vdmpp]0 msSkipped
Package core / test[CurriedAdd2.vdmpp]0 msSkipped
test[CurriedAdd2.vdmpp]0 msSkipped
Package core / test[CurriedDifferentParameterTypes.vdmpp]0 msSkipped
test[CurriedDifferentParameterTypes.vdmpp]0 msSkipped
test[FunctionArgPolymorphicType.vdmpp]0 msSkipped
Package core / test[FunctionArgPolymorphicType.vdmpp]0 msSkipped
test[FunctionComposeCurried1.vdmpp]0 msSkipped
Package core / test[FunctionComposeCurried1.vdmpp]0 msSkipped
test[FunctionComposeCurried2.vdmpp]0 msSkipped
Package core / test[FunctionComposeCurried2.vdmpp]0 msSkipped
Package core / test[FunctionComposeUncurried.vdmpp]0 msSkipped
test[FunctionComposeUncurried.vdmpp]0 msSkipped
Package core / test[FunctionReturningFunction.vdmpp]0 msSkipped
test[FunctionReturningFunction.vdmpp]0 msSkipped
test[LambdaCurryAdd.vdmpp]0 msSkipped
Package core / test[LambdaCurryAdd.vdmpp]0 msSkipped
test[LambdaInLet.vdmpp]0 msSkipped
Package core / test[LambdaInLet.vdmpp]0 msSkipped
test[LambdaReturningSetComp.vdmpp]0 msSkipped
Package core / test[LambdaReturningSetComp.vdmpp]0 msSkipped
test[LambdaWithLet.vdmpp]0 msSkipped
Package core / test[LambdaWithLet.vdmpp]0 msSkipped
Package core / test[MapAccessLetDecl.vdmpp]0 msSkipped
test[MapAccessLetDecl.vdmpp]0 msSkipped
test[MapBoolToNatCurried.vdmpp]0 msSkipped
Package core / test[MapBoolToNatCurried.vdmpp]0 msSkipped
test[MapNatCurried.vdmpp]0 msSkipped
Package core / test[MapNatCurried.vdmpp]0 msSkipped
Package core / test[MapNatToBoolCurried.vdmpp]0 msSkipped
test[MapNatToBoolCurried.vdmpp]0 msSkipped
test[MapNatToChar.vdmpp]0 msSkipped
Package core / test[MapNatToChar.vdmpp]0 msSkipped
test[MapUncurried.vdmpp]0 msSkipped
Package core / test[MapUncurried.vdmpp]0 msSkipped