Test Result : TracesStateOutputTest

0 failures

8 tests

All Tests

Test name	Duration	Status
testCase[0 : StaticCounterOtherClass.vdmpp]	76 ms	Passed
testCase[1 : SharedObjectBind.vdmpp]	68 ms	Passed
testCase[2 : CounterInstanceVarObjectWithStaticNat.vdmpp]	31 ms	Passed
testCase[3 : CounterValueObjectWithNonStaticNat.vdmpp]	29 ms	Passed
testCase[4 : OpCallsUsedToInitLocalDefs.vdmpp]	39 ms	Passed
testCase[5 : StaticCounter.vdmpp]	31 ms	Passed
testCase[6 : ObjectBind.vdmpp]	26 ms	Passed
testCase[7 : CounterValueObjectWithStaticNat.vdmpp]	28 ms	Passed