Test Result : UnsupportedJavaCodeGenTest

0 failures (±0)
92 tests (±0)
Took 6 sec.

All Tests

Test nameDurationStatus
test[0: src/test/resources/unsupported/AssignLetDefInSet.vdmpp]27 msPassed
test[0: src/test/resources/unsupported/AssignLetDefInSet.vdmpp]27 msPassed
test[0: src/test/resources/unsupported/AssignLetDefInSet.vdmpp]27 msPassed
test[0: src/test/resources/unsupported/AssignLetDefInSet.vdmpp]27 msPassed
test[10: src/test/resources/unsupported/LetBeStStmTypeBind.vdmsl]2 msPassed
test[10: src/test/resources/unsupported/LetBeStStmTypeBind.vdmsl]2 msPassed
test[10: src/test/resources/unsupported/LetBeStStmTypeBind.vdmsl]2 msPassed
test[10: src/test/resources/unsupported/LetBeStStmTypeBind.vdmsl]2 msPassed
test[11: src/test/resources/unsupported/LetDefInInstanceVar.vdmpp]3 msPassed
test[11: src/test/resources/unsupported/LetDefInInstanceVar.vdmpp]3 msPassed
test[11: src/test/resources/unsupported/LetDefInInstanceVar.vdmpp]3 msPassed
test[11: src/test/resources/unsupported/LetDefInInstanceVar.vdmpp]3 msPassed
test[12: src/test/resources/unsupported/LetDefInValue.vdmsl]2 msPassed
test[12: src/test/resources/unsupported/LetDefInValue.vdmsl]2 msPassed
test[12: src/test/resources/unsupported/LetDefInValue.vdmsl]2 msPassed
test[12: src/test/resources/unsupported/LetDefInValue.vdmsl]2 msPassed
test[13: src/test/resources/unsupported/MapCompInValue.vdmsl]4 msPassed
test[13: src/test/resources/unsupported/MapCompInValue.vdmsl]4 msPassed
test[13: src/test/resources/unsupported/MapCompInValue.vdmsl]4 msPassed
test[13: src/test/resources/unsupported/MapCompInValue.vdmsl]4 msPassed
test[14: src/test/resources/unsupported/MapCompTypeBind.vdmsl]2 msPassed
test[14: src/test/resources/unsupported/MapCompTypeBind.vdmsl]2 msPassed
test[14: src/test/resources/unsupported/MapCompTypeBind.vdmsl]2 msPassed
test[14: src/test/resources/unsupported/MapCompTypeBind.vdmsl]2 msPassed
test[15: src/test/resources/unsupported/MultipleInheritance.vdmpp]1.5 secPassed
test[15: src/test/resources/unsupported/MultipleInheritance.vdmpp]1.2 secPassed
test[15: src/test/resources/unsupported/MultipleInheritance.vdmpp]1.2 secPassed
test[15: src/test/resources/unsupported/MultipleInheritance.vdmpp]1.5 secPassed
test[16: src/test/resources/unsupported/NonExecutableState.vdmsl]6 msPassed
test[16: src/test/resources/unsupported/NonExecutableState.vdmsl]8 msPassed
test[16: src/test/resources/unsupported/NonExecutableState.vdmsl]6 msPassed
test[16: src/test/resources/unsupported/NonExecutableState.vdmsl]8 msPassed
test[17: src/test/resources/unsupported/QuantExpInStateInit1.vdmsl]10 msPassed
test[17: src/test/resources/unsupported/QuantExpInStateInit1.vdmsl]10 msPassed
test[17: src/test/resources/unsupported/QuantExpInStateInit1.vdmsl]9 msPassed
test[17: src/test/resources/unsupported/QuantExpInStateInit1.vdmsl]9 msPassed
test[18: src/test/resources/unsupported/QuantExpInStateInit2.vdmsl]3 msPassed
test[18: src/test/resources/unsupported/QuantExpInStateInit2.vdmsl]7 msPassed
test[18: src/test/resources/unsupported/QuantExpInStateInit2.vdmsl]7 msPassed
test[18: src/test/resources/unsupported/QuantExpInStateInit2.vdmsl]3 msPassed
test[19: src/test/resources/unsupported/SeqCompInValue.vdmsl]5 msPassed
test[19: src/test/resources/unsupported/SeqCompInValue.vdmsl]5 msPassed
test[19: src/test/resources/unsupported/SeqCompInValue.vdmsl]4 msPassed
test[19: src/test/resources/unsupported/SeqCompInValue.vdmsl]4 msPassed
test[1: src/test/resources/unsupported/Exists1AllExpTypeBind.vdmsl]20 msPassed
test[1: src/test/resources/unsupported/Exists1AllExpTypeBind.vdmsl]24 msPassed
test[1: src/test/resources/unsupported/Exists1AllExpTypeBind.vdmsl]24 msPassed
test[1: src/test/resources/unsupported/Exists1AllExpTypeBind.vdmsl]20 msPassed
test[20: src/test/resources/unsupported/SetCompInValue.vdmsl]3 msPassed
test[20: src/test/resources/unsupported/SetCompInValue.vdmsl]3 msPassed
test[20: src/test/resources/unsupported/SetCompInValue.vdmsl]3 msPassed
test[20: src/test/resources/unsupported/SetCompInValue.vdmsl]3 msPassed
test[21: src/test/resources/unsupported/SetCompTypeBind.vdmsl]1 msPassed
test[21: src/test/resources/unsupported/SetCompTypeBind.vdmsl]2 msPassed
test[21: src/test/resources/unsupported/SetCompTypeBind.vdmsl]1 msPassed
test[21: src/test/resources/unsupported/SetCompTypeBind.vdmsl]2 msPassed
test[22: src/test/resources/unsupported/SetPatternInSetComp.vdmpp]7 msPassed
test[22: src/test/resources/unsupported/SetPatternInSetComp.vdmpp]6 msPassed
test[22: src/test/resources/unsupported/SetPatternInSetComp.vdmpp]7 msPassed
test[22: src/test/resources/unsupported/SetPatternInSetComp.vdmpp]6 msPassed
test[2: src/test/resources/unsupported/Exists1InValue.vdmsl]6 msPassed
test[2: src/test/resources/unsupported/Exists1InValue.vdmsl]2 msPassed
test[2: src/test/resources/unsupported/Exists1InValue.vdmsl]2 msPassed
test[2: src/test/resources/unsupported/Exists1InValue.vdmsl]6 msPassed
test[3: src/test/resources/unsupported/ExistsAllExpTypeBind.vdmsl]3 msPassed
test[3: src/test/resources/unsupported/ExistsAllExpTypeBind.vdmsl]2 msPassed
test[3: src/test/resources/unsupported/ExistsAllExpTypeBind.vdmsl]2 msPassed
test[3: src/test/resources/unsupported/ExistsAllExpTypeBind.vdmsl]3 msPassed
test[4: src/test/resources/unsupported/ExistsInValue.vdmsl]3 msPassed
test[4: src/test/resources/unsupported/ExistsInValue.vdmsl]3 msPassed
test[4: src/test/resources/unsupported/ExistsInValue.vdmsl]4 msPassed
test[4: src/test/resources/unsupported/ExistsInValue.vdmsl]4 msPassed
test[5: src/test/resources/unsupported/ForAllExpInValue.vdmsl]4 msPassed
test[5: src/test/resources/unsupported/ForAllExpInValue.vdmsl]5 msPassed
test[5: src/test/resources/unsupported/ForAllExpInValue.vdmsl]5 msPassed
test[5: src/test/resources/unsupported/ForAllExpInValue.vdmsl]4 msPassed
test[6: src/test/resources/unsupported/ForAllExpTypeBind.vdmsl]2 msPassed
test[6: src/test/resources/unsupported/ForAllExpTypeBind.vdmsl]3 msPassed
test[6: src/test/resources/unsupported/ForAllExpTypeBind.vdmsl]3 msPassed
test[6: src/test/resources/unsupported/ForAllExpTypeBind.vdmsl]2 msPassed
test[7: src/test/resources/unsupported/ImplicitFuncInstantiation.vdmsl]20 msPassed
test[7: src/test/resources/unsupported/ImplicitFuncInstantiation.vdmsl]19 msPassed
test[7: src/test/resources/unsupported/ImplicitFuncInstantiation.vdmsl]20 msPassed
test[7: src/test/resources/unsupported/ImplicitFuncInstantiation.vdmsl]19 msPassed
test[8: src/test/resources/unsupported/LetBeStExpInValue.vdmsl]3 msPassed
test[8: src/test/resources/unsupported/LetBeStExpInValue.vdmsl]3 msPassed
test[8: src/test/resources/unsupported/LetBeStExpInValue.vdmsl]3 msPassed
test[8: src/test/resources/unsupported/LetBeStExpInValue.vdmsl]3 msPassed
test[9: src/test/resources/unsupported/LetBeStExpTypeBind.vdmsl]2 msPassed
test[9: src/test/resources/unsupported/LetBeStExpTypeBind.vdmsl]2 msPassed
test[9: src/test/resources/unsupported/LetBeStExpTypeBind.vdmsl]2 msPassed
test[9: src/test/resources/unsupported/LetBeStExpTypeBind.vdmsl]2 msPassed