Skipped

Package core / org.overture.codegen.tests.exec.TracesStateJavaGenTest.test[CounterValueObjectWithNonStaticNat.vdmpp]

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