![[Jenkins]](/jenkins/static/785b2ad7/images/jenkins-header-logo-v2.svg){kind=logo}
Test Result : FunctionValueJavaGenTest
0 failures
18 tests
All Tests
| Test name | Duration | Status |
| test[CurriedAdd1.vdmpp] | 1.3 sec | Passed |
| test[CurriedAdd2.vdmpp] | 1 sec | Passed |
| test[CurriedDifferentParameterTypes.vdmpp] | 1.4 sec | Passed |
| test[FunctionArgPolymorphicType.vdmpp] | 1.1 sec | Passed |
| test[FunctionComposeCurried1.vdmpp] | 1.2 sec | Passed |
| test[FunctionComposeCurried2.vdmpp] | 1.1 sec | Passed |
| test[FunctionComposeUncurried.vdmpp] | 1.1 sec | Passed |
| test[FunctionReturningFunction.vdmpp] | 1.2 sec | Passed |
| test[LambdaCurryAdd.vdmpp] | 1.2 sec | Passed |
| test[LambdaInLet.vdmpp] | 0.82 sec | Passed |
| test[LambdaReturningSetComp.vdmpp] | 1.2 sec | Passed |
| test[LambdaWithLet.vdmpp] | 1.1 sec | Passed |
| test[MapAccessLetDecl.vdmpp] | 1.2 sec | Passed |
| test[MapBoolToNatCurried.vdmpp] | 0.99 sec | Passed |
| test[MapNatCurried.vdmpp] | 0.97 sec | Passed |
| test[MapNatToBoolCurried.vdmpp] | 1 sec | Passed |
| test[MapNatToChar.vdmpp] | 1.1 sec | Passed |
| test[MapUncurried.vdmpp] | 1 sec | Passed |