Test Result : TracesStateJavaGenTest

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

All Tests

Test nameDurationStatus
Package core / test[CounterInstanceVarObjectWithStaticNat.vdmpp]0 msSkipped
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
Package core / test[OpCallsUsedToInitLocalDefs.vdmpp]0 msSkipped
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