Skipped

org.overture.codegen.tests.exec.TracesStateJavaGenTest.test[OpCallsUsedToInitLocalDefs.vdmpp]

Skipped for the past 4 builds (Since #0 )
Took 0 ms.