Passed

org.overture.codegen.tests.output.TracesVerdictOutputTest.testCase[2 : SeqIndexOutOfRange.vdmpp]

Took 34 ms.