Passed

org.overture.codegen.tests.output.ClassicOutputTest.testCase[1 : CashDispenserPP.vdmpp]

Took 0.52 sec.