Test Result : TracesStateOutputTest

0 failures

8 tests

All Tests

Test name	Duration	Status
testCase[0 : StaticCounterOtherClass.vdmpp]	0.15 sec	Passed
testCase[1 : SharedObjectBind.vdmpp]	0.12 sec	Passed
testCase[2 : CounterInstanceVarObjectWithStaticNat.vdmpp]	40 ms	Passed
testCase[3 : CounterValueObjectWithNonStaticNat.vdmpp]	0.1 sec	Passed
testCase[4 : OpCallsUsedToInitLocalDefs.vdmpp]	49 ms	Passed
testCase[5 : StaticCounter.vdmpp]	29 ms	Passed
testCase[6 : ObjectBind.vdmpp]	31 ms	Passed
testCase[7 : CounterValueObjectWithStaticNat.vdmpp]	34 ms	Passed