Test Result : TracesStateOutputTest

0 failures
8 tests
Took 0.32 sec.

All Tests

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