Passed

org.overture.codegen.tests.output.RtOutputTest.testCase[0 : AsyncCounterInc.vdmrt]

Took 56 ms.