Passed

org.overture.codegen.tests.other.UnsupportedJavaCodeGenTest.test[10: src/test/resources/unsupported/LetBeStStmTypeBind.vdmsl]

Took 2 ms.