Test Result : TracesStateOutputTest

0 failures
8 tests
Took 0.56 sec.

All Tests

Test nameDurationStatus
testCase[0 : StaticCounterOtherClass.vdmpp]0.15 secPassed
testCase[1 : SharedObjectBind.vdmpp]0.12 secPassed
testCase[2 : CounterInstanceVarObjectWithStaticNat.vdmpp]40 msPassed
testCase[3 : CounterValueObjectWithNonStaticNat.vdmpp]0.1 secPassed
testCase[4 : OpCallsUsedToInitLocalDefs.vdmpp]49 msPassed
testCase[5 : StaticCounter.vdmpp]29 msPassed
testCase[6 : ObjectBind.vdmpp]31 msPassed
testCase[7 : CounterValueObjectWithStaticNat.vdmpp]34 msPassed