Test Result : FunctionValueJavaGenTest

0 failures
18 tests
Took 20 sec.

All Tests

Test nameDurationStatus
test[CurriedAdd1.vdmpp]1.3 secPassed
test[CurriedAdd2.vdmpp]1 secPassed
test[CurriedDifferentParameterTypes.vdmpp]1.4 secPassed
test[FunctionArgPolymorphicType.vdmpp]1.1 secPassed
test[FunctionComposeCurried1.vdmpp]1.2 secPassed
test[FunctionComposeCurried2.vdmpp]1.1 secPassed
test[FunctionComposeUncurried.vdmpp]1.1 secPassed
test[FunctionReturningFunction.vdmpp]1.2 secPassed
test[LambdaCurryAdd.vdmpp]1.2 secPassed
test[LambdaInLet.vdmpp]0.82 secPassed
test[LambdaReturningSetComp.vdmpp]1.2 secPassed
test[LambdaWithLet.vdmpp]1.1 secPassed
test[MapAccessLetDecl.vdmpp]1.2 secPassed
test[MapBoolToNatCurried.vdmpp]0.99 secPassed
test[MapNatCurried.vdmpp]0.97 secPassed
test[MapNatToBoolCurried.vdmpp]1 secPassed
test[MapNatToChar.vdmpp]1.1 secPassed
test[MapUncurried.vdmpp]1 secPassed