Passed

org.overture.codegen.tests.output.NameNormalisingOutputTest.testCase[4 : LetStm.vdmpp]

Took 12 ms.