Test Result : TracesStateJavaGenTest

0 failures
8 tests
Took 33 sec.

All Tests

Test nameDurationStatus
test[CounterInstanceVarObjectWithStaticNat.vdmpp]13 secPassed
test[CounterValueObjectWithNonStaticNat.vdmpp]2.9 secPassed
test[CounterValueObjectWithStaticNat.vdmpp]10 secPassed
test[ObjectBind.vdmpp]1.9 secPassed
test[OpCallsUsedToInitLocalDefs.vdmpp]1.3 secPassed
test[SharedObjectBind.vdmpp]1.1 secPassed
test[StaticCounter.vdmpp]1.2 secPassed
test[StaticCounterOtherClass.vdmpp]1.2 secPassed