Passed

org.overture.codegen.tests.other.UnsupportedJavaCodeGenTest.test[0: src/test/resources/unsupported/AssignLetDefInSet.vdmpp]

Took 47 ms.