Test Result : TracesStateJavaGenTest

0 failures (±0) , 16 skipped (±0)
16 tests (±0)
Took 0 ms.

All Tests

Test nameDurationStatus
test[CounterInstanceVarObjectWithStaticNat.vdmpp]0 msSkipped
Package core / test[CounterInstanceVarObjectWithStaticNat.vdmpp]0 msSkipped
Package core / test[CounterValueObjectWithNonStaticNat.vdmpp]0 msSkipped
test[CounterValueObjectWithNonStaticNat.vdmpp]0 msSkipped
test[CounterValueObjectWithStaticNat.vdmpp]0 msSkipped
Package core / test[CounterValueObjectWithStaticNat.vdmpp]0 msSkipped
Package core / test[ObjectBind.vdmpp]0 msSkipped
test[ObjectBind.vdmpp]0 msSkipped
test[OpCallsUsedToInitLocalDefs.vdmpp]0 msSkipped
Package core / test[OpCallsUsedToInitLocalDefs.vdmpp]0 msSkipped
Package core / test[SharedObjectBind.vdmpp]0 msSkipped
test[SharedObjectBind.vdmpp]0 msSkipped
test[StaticCounter.vdmpp]0 msSkipped
Package core / test[StaticCounter.vdmpp]0 msSkipped
Package core / test[StaticCounterOtherClass.vdmpp]0 msSkipped
test[StaticCounterOtherClass.vdmpp]0 msSkipped