Passed

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

Took 51 ms.