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