Test Result : FunctionValueOutputTest

0 failures (±0)
72 tests (±0)
Took 1 sec.

All Tests

Test nameDurationStatus
testCase[0 : MapAccessLetDecl.vdmpp]17 msPassed
testCase[0 : MapAccessLetDecl.vdmpp]30 msPassed
testCase[0 : MapAccessLetDecl.vdmpp]17 msPassed
testCase[0 : MapAccessLetDecl.vdmpp]30 msPassed
testCase[1 : CurriedAdd2.vdmpp]12 msPassed
testCase[1 : CurriedAdd2.vdmpp]17 msPassed
testCase[1 : CurriedAdd2.vdmpp]17 msPassed
testCase[1 : CurriedAdd2.vdmpp]12 msPassed
testCase[10 : MapNatToChar.vdmpp]15 msPassed
testCase[10 : MapNatToChar.vdmpp]23 msPassed
testCase[10 : MapNatToChar.vdmpp]15 msPassed
testCase[10 : MapNatToChar.vdmpp]23 msPassed
testCase[11 : FunctionComposeUncurried.vdmpp]12 msPassed
testCase[11 : FunctionComposeUncurried.vdmpp]12 msPassed
testCase[11 : FunctionComposeUncurried.vdmpp]15 msPassed
testCase[11 : FunctionComposeUncurried.vdmpp]15 msPassed
testCase[12 : LambdaReturningSetComp.vdmpp]18 msPassed
testCase[12 : LambdaReturningSetComp.vdmpp]10 msPassed
testCase[12 : LambdaReturningSetComp.vdmpp]10 msPassed
testCase[12 : LambdaReturningSetComp.vdmpp]18 msPassed
testCase[13 : LambdaInLet.vdmpp]7 msPassed
testCase[13 : LambdaInLet.vdmpp]28 msPassed
testCase[13 : LambdaInLet.vdmpp]28 msPassed
testCase[13 : LambdaInLet.vdmpp]7 msPassed
testCase[14 : MapUncurried.vdmpp]27 msPassed
testCase[14 : MapUncurried.vdmpp]13 msPassed
testCase[14 : MapUncurried.vdmpp]27 msPassed
testCase[14 : MapUncurried.vdmpp]13 msPassed
testCase[15 : LambdaWithLet.vdmpp]8 msPassed
testCase[15 : LambdaWithLet.vdmpp]11 msPassed
testCase[15 : LambdaWithLet.vdmpp]11 msPassed
testCase[15 : LambdaWithLet.vdmpp]8 msPassed
testCase[16 : FunctionComposeCurried2.vdmpp]19 msPassed
testCase[16 : FunctionComposeCurried2.vdmpp]19 msPassed
testCase[16 : FunctionComposeCurried2.vdmpp]16 msPassed
testCase[16 : FunctionComposeCurried2.vdmpp]16 msPassed
testCase[17 : MapBoolToNatCurried.vdmpp]21 msPassed
testCase[17 : MapBoolToNatCurried.vdmpp]21 msPassed
testCase[17 : MapBoolToNatCurried.vdmpp]14 msPassed
testCase[17 : MapBoolToNatCurried.vdmpp]14 msPassed
testCase[2 : CurriedAdd1.vdmpp]7 msPassed
testCase[2 : CurriedAdd1.vdmpp]12 msPassed
testCase[2 : CurriedAdd1.vdmpp]12 msPassed
testCase[2 : CurriedAdd1.vdmpp]7 msPassed
testCase[3 : FunctionArgPolymorphicType.vdmpp]11 msPassed
testCase[3 : FunctionArgPolymorphicType.vdmpp]15 msPassed
testCase[3 : FunctionArgPolymorphicType.vdmpp]15 msPassed
testCase[3 : FunctionArgPolymorphicType.vdmpp]11 msPassed
testCase[4 : CurriedDifferentParameterTypes.vdmpp]11 msPassed
testCase[4 : CurriedDifferentParameterTypes.vdmpp]14 msPassed
testCase[4 : CurriedDifferentParameterTypes.vdmpp]11 msPassed
testCase[4 : CurriedDifferentParameterTypes.vdmpp]14 msPassed
testCase[5 : FunctionComposeCurried1.vdmpp]13 msPassed
testCase[5 : FunctionComposeCurried1.vdmpp]16 msPassed
testCase[5 : FunctionComposeCurried1.vdmpp]13 msPassed
testCase[5 : FunctionComposeCurried1.vdmpp]16 msPassed
testCase[6 : MapNatCurried.vdmpp]19 msPassed
testCase[6 : MapNatCurried.vdmpp]14 msPassed
testCase[6 : MapNatCurried.vdmpp]19 msPassed
testCase[6 : MapNatCurried.vdmpp]14 msPassed
testCase[7 : MapNatToBoolCurried.vdmpp]14 msPassed
testCase[7 : MapNatToBoolCurried.vdmpp]18 msPassed
testCase[7 : MapNatToBoolCurried.vdmpp]14 msPassed
testCase[7 : MapNatToBoolCurried.vdmpp]18 msPassed
testCase[8 : FunctionReturningFunction.vdmpp]9 msPassed
testCase[8 : FunctionReturningFunction.vdmpp]16 msPassed
testCase[8 : FunctionReturningFunction.vdmpp]9 msPassed
testCase[8 : FunctionReturningFunction.vdmpp]16 msPassed
testCase[9 : LambdaCurryAdd.vdmpp]11 msPassed
testCase[9 : LambdaCurryAdd.vdmpp]12 msPassed
testCase[9 : LambdaCurryAdd.vdmpp]11 msPassed
testCase[9 : LambdaCurryAdd.vdmpp]12 msPassed