Test Result : TracesStateJavaGenTest

0 failures

8 tests

All Tests

Test name	Duration	Status
test[CounterInstanceVarObjectWithStaticNat.vdmpp]	13 sec	Passed
test[CounterValueObjectWithNonStaticNat.vdmpp]	2.9 sec	Passed
test[CounterValueObjectWithStaticNat.vdmpp]	10 sec	Passed
test[ObjectBind.vdmpp]	1.9 sec	Passed
test[OpCallsUsedToInitLocalDefs.vdmpp]	1.3 sec	Passed
test[SharedObjectBind.vdmpp]	1.1 sec	Passed
test[StaticCounter.vdmpp]	1.2 sec	Passed
test[StaticCounterOtherClass.vdmpp]	1.2 sec	Passed