Test Result : UnsupportedJavaCodeGenTest

0 failures
23 tests
Took 2.9 sec.

All Tests

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