![[Jenkins]](/jenkins/static/4ffc0891/images/jenkins-header-logo-v2.svg){kind=logo}
Test Result : FunctionValueOutputTest
0 failures
(±0)
18 tests
(±0)
All Tests
| Test name | Duration | Status |
| testCase[0 : MapAccessLetDecl.vdmpp] | 22 ms | Passed |
| testCase[1 : CurriedAdd2.vdmpp] | 14 ms | Passed |
| testCase[10 : MapNatToChar.vdmpp] | 19 ms | Passed |
| testCase[11 : FunctionComposeUncurried.vdmpp] | 16 ms | Passed |
| testCase[12 : LambdaReturningSetComp.vdmpp] | 15 ms | Passed |
| testCase[13 : LambdaInLet.vdmpp] | 11 ms | Passed |
| testCase[14 : MapUncurried.vdmpp] | 18 ms | Passed |
| testCase[15 : LambdaWithLet.vdmpp] | 11 ms | Passed |
| testCase[16 : FunctionComposeCurried2.vdmpp] | 21 ms | Passed |
| testCase[17 : MapBoolToNatCurried.vdmpp] | 18 ms | Passed |
| testCase[2 : CurriedAdd1.vdmpp] | 10 ms | Passed |
| testCase[3 : FunctionArgPolymorphicType.vdmpp] | 19 ms | Passed |
| testCase[4 : CurriedDifferentParameterTypes.vdmpp] | 10 ms | Passed |
| testCase[5 : FunctionComposeCurried1.vdmpp] | 15 ms | Passed |
| testCase[6 : MapNatCurried.vdmpp] | 18 ms | Passed |
| testCase[7 : MapNatToBoolCurried.vdmpp] | 19 ms | Passed |
| testCase[8 : FunctionReturningFunction.vdmpp] | 9 ms | Passed |
| testCase[9 : LambdaCurryAdd.vdmpp] | 13 ms | Passed |