Passed

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

Took 2.6 sec.