Test Result : FunctionValueOutputTest

0 failures
72 tests
Took 3.7 sec.

All Tests

Test nameDurationStatus
Package core / testCase[0 : MapAccessLetDecl.vdmpp]70 msPassed
Install IDE / testCase[0 : MapAccessLetDecl.vdmpp]65 msPassed
testCase[0 : MapAccessLetDecl.vdmpp]70 msPassed
testCase[0 : MapAccessLetDecl.vdmpp]65 msPassed
Install IDE / testCase[1 : CurriedAdd2.vdmpp]48 msPassed
testCase[1 : CurriedAdd2.vdmpp]48 msPassed
Package core / testCase[1 : CurriedAdd2.vdmpp]69 msPassed
testCase[1 : CurriedAdd2.vdmpp]69 msPassed
testCase[10 : MapNatToChar.vdmpp]59 msPassed
Package core / testCase[10 : MapNatToChar.vdmpp]59 msPassed
Install IDE / testCase[10 : MapNatToChar.vdmpp]80 msPassed
testCase[10 : MapNatToChar.vdmpp]80 msPassed
Install IDE / testCase[11 : FunctionComposeUncurried.vdmpp]0.31 secPassed
testCase[11 : FunctionComposeUncurried.vdmpp]0.31 secPassed
Package core / testCase[11 : FunctionComposeUncurried.vdmpp]39 msPassed
testCase[11 : FunctionComposeUncurried.vdmpp]39 msPassed
Install IDE / testCase[12 : LambdaReturningSetComp.vdmpp]47 msPassed
Package core / testCase[12 : LambdaReturningSetComp.vdmpp]26 msPassed
testCase[12 : LambdaReturningSetComp.vdmpp]47 msPassed
testCase[12 : LambdaReturningSetComp.vdmpp]26 msPassed
Install IDE / testCase[13 : LambdaInLet.vdmpp]35 msPassed
testCase[13 : LambdaInLet.vdmpp]24 msPassed
Package core / testCase[13 : LambdaInLet.vdmpp]24 msPassed
testCase[13 : LambdaInLet.vdmpp]35 msPassed
Install IDE / testCase[14 : MapUncurried.vdmpp]75 msPassed
testCase[14 : MapUncurried.vdmpp]19 msPassed
testCase[14 : MapUncurried.vdmpp]75 msPassed
Package core / testCase[14 : MapUncurried.vdmpp]19 msPassed
testCase[15 : LambdaWithLet.vdmpp]35 msPassed
Package core / testCase[15 : LambdaWithLet.vdmpp]10 msPassed
testCase[15 : LambdaWithLet.vdmpp]10 msPassed
Install IDE / testCase[15 : LambdaWithLet.vdmpp]35 msPassed
testCase[16 : FunctionComposeCurried2.vdmpp]32 msPassed
Install IDE / testCase[16 : FunctionComposeCurried2.vdmpp]86 msPassed
testCase[16 : FunctionComposeCurried2.vdmpp]86 msPassed
Package core / testCase[16 : FunctionComposeCurried2.vdmpp]32 msPassed
testCase[17 : MapBoolToNatCurried.vdmpp]36 msPassed
testCase[17 : MapBoolToNatCurried.vdmpp]42 msPassed
Install IDE / testCase[17 : MapBoolToNatCurried.vdmpp]42 msPassed
Package core / testCase[17 : MapBoolToNatCurried.vdmpp]36 msPassed
Package core / testCase[2 : CurriedAdd1.vdmpp]23 msPassed
testCase[2 : CurriedAdd1.vdmpp]43 msPassed
Install IDE / testCase[2 : CurriedAdd1.vdmpp]43 msPassed
testCase[2 : CurriedAdd1.vdmpp]23 msPassed
Install IDE / testCase[3 : FunctionArgPolymorphicType.vdmpp]41 msPassed
testCase[3 : FunctionArgPolymorphicType.vdmpp]41 msPassed
testCase[3 : FunctionArgPolymorphicType.vdmpp]47 msPassed
Package core / testCase[3 : FunctionArgPolymorphicType.vdmpp]47 msPassed
testCase[4 : CurriedDifferentParameterTypes.vdmpp]26 msPassed
testCase[4 : CurriedDifferentParameterTypes.vdmpp]48 msPassed
Package core / testCase[4 : CurriedDifferentParameterTypes.vdmpp]26 msPassed
Install IDE / testCase[4 : CurriedDifferentParameterTypes.vdmpp]48 msPassed
Package core / testCase[5 : FunctionComposeCurried1.vdmpp]18 msPassed
testCase[5 : FunctionComposeCurried1.vdmpp]18 msPassed
testCase[5 : FunctionComposeCurried1.vdmpp]80 msPassed
Install IDE / testCase[5 : FunctionComposeCurried1.vdmpp]80 msPassed
Install IDE / testCase[6 : MapNatCurried.vdmpp]80 msPassed
testCase[6 : MapNatCurried.vdmpp]22 msPassed
Package core / testCase[6 : MapNatCurried.vdmpp]22 msPassed
testCase[6 : MapNatCurried.vdmpp]80 msPassed
Package core / testCase[7 : MapNatToBoolCurried.vdmpp]23 msPassed
testCase[7 : MapNatToBoolCurried.vdmpp]0.1 secPassed
Install IDE / testCase[7 : MapNatToBoolCurried.vdmpp]0.1 secPassed
testCase[7 : MapNatToBoolCurried.vdmpp]23 msPassed
Install IDE / testCase[8 : FunctionReturningFunction.vdmpp]32 msPassed
Package core / testCase[8 : FunctionReturningFunction.vdmpp]10 msPassed
testCase[8 : FunctionReturningFunction.vdmpp]32 msPassed
testCase[8 : FunctionReturningFunction.vdmpp]10 msPassed
Package core / testCase[9 : LambdaCurryAdd.vdmpp]23 msPassed
testCase[9 : LambdaCurryAdd.vdmpp]22 msPassed
testCase[9 : LambdaCurryAdd.vdmpp]23 msPassed
Install IDE / testCase[9 : LambdaCurryAdd.vdmpp]22 msPassed