![[Jenkins]](/jenkins/static/aeeb6498/images/jenkins-header-logo-v2.svg){kind=logo}
Test Result : TracesStateJavaGenTest
0 failures
(±0)
, 16 skipped
(-16)
16 tests
(-16)
All Tests
| Test name | Duration | Status |
| Package core / test[CounterInstanceVarObjectWithStaticNat.vdmpp] | 0 ms | Skipped |
| test[CounterInstanceVarObjectWithStaticNat.vdmpp] | 0 ms | Skipped |
| Package core / test[CounterValueObjectWithNonStaticNat.vdmpp] | 0 ms | Skipped |
| test[CounterValueObjectWithNonStaticNat.vdmpp] | 0 ms | Skipped |
| test[CounterValueObjectWithStaticNat.vdmpp] | 0 ms | Skipped |
| Package core / test[CounterValueObjectWithStaticNat.vdmpp] | 0 ms | Skipped |
| Package core / test[ObjectBind.vdmpp] | 0 ms | Skipped |
| test[ObjectBind.vdmpp] | 0 ms | Skipped |
| test[OpCallsUsedToInitLocalDefs.vdmpp] | 0 ms | Skipped |
| Package core / test[OpCallsUsedToInitLocalDefs.vdmpp] | 0 ms | Skipped |
| Package core / test[SharedObjectBind.vdmpp] | 0 ms | Skipped |
| test[SharedObjectBind.vdmpp] | 0 ms | Skipped |
| Package core / test[StaticCounter.vdmpp] | 0 ms | Skipped |
| test[StaticCounter.vdmpp] | 0 ms | Skipped |
| test[StaticCounterOtherClass.vdmpp] | 0 ms | Skipped |
| Package core / test[StaticCounterOtherClass.vdmpp] | 0 ms | Skipped |