Test Result : TracesStateOutputTest

0 failures (±0)

8 tests (±0)

All Tests

Test name	Duration	Status
testCase[0 : StaticCounterOtherClass.vdmpp]	31 ms	Passed
testCase[1 : SharedObjectBind.vdmpp]	43 ms	Passed
testCase[2 : CounterInstanceVarObjectWithStaticNat.vdmpp]	22 ms	Passed
testCase[3 : CounterValueObjectWithNonStaticNat.vdmpp]	22 ms	Passed
testCase[4 : OpCallsUsedToInitLocalDefs.vdmpp]	27 ms	Passed
testCase[5 : StaticCounter.vdmpp]	22 ms	Passed
testCase[6 : ObjectBind.vdmpp]	38 ms	Passed
testCase[7 : CounterValueObjectWithStaticNat.vdmpp]	28 ms	Passed