Passed

org.overture.codegen.tests.output.PackageOutputTest.testCase[2 : UsesRuntimeLib.vdmpp]

Took 6 ms.