Test Result : FunctionValueJavaGenTest

0 failures , 18 skipped
18 tests
Took 0 ms.

All Tests

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