Test Result : UnsupportedJavaCodeGenTest

0 failures (±0)
46 tests (-46)
Took 4.2 sec.

All Tests

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