Test Result : TracesStateOutputTest

0 failures (±0)
32 tests (±0)
Took 1.4 sec.

All Tests

Test nameDurationStatus
testCase[0 : StaticCounterOtherClass.vdmpp]74 msPassed
testCase[0 : StaticCounterOtherClass.vdmpp]97 msPassed
testCase[0 : StaticCounterOtherClass.vdmpp]97 msPassed
testCase[0 : StaticCounterOtherClass.vdmpp]74 msPassed
testCase[1 : SharedObjectBind.vdmpp]69 msPassed
testCase[1 : SharedObjectBind.vdmpp]69 msPassed
testCase[1 : SharedObjectBind.vdmpp]69 msPassed
testCase[1 : SharedObjectBind.vdmpp]69 msPassed
testCase[2 : CounterInstanceVarObjectWithStaticNat.vdmpp]29 msPassed
testCase[2 : CounterInstanceVarObjectWithStaticNat.vdmpp]31 msPassed
testCase[2 : CounterInstanceVarObjectWithStaticNat.vdmpp]31 msPassed
testCase[2 : CounterInstanceVarObjectWithStaticNat.vdmpp]29 msPassed
testCase[3 : CounterValueObjectWithNonStaticNat.vdmpp]41 msPassed
testCase[3 : CounterValueObjectWithNonStaticNat.vdmpp]29 msPassed
testCase[3 : CounterValueObjectWithNonStaticNat.vdmpp]29 msPassed
testCase[3 : CounterValueObjectWithNonStaticNat.vdmpp]41 msPassed
testCase[4 : OpCallsUsedToInitLocalDefs.vdmpp]61 msPassed
testCase[4 : OpCallsUsedToInitLocalDefs.vdmpp]48 msPassed
testCase[4 : OpCallsUsedToInitLocalDefs.vdmpp]48 msPassed
testCase[4 : OpCallsUsedToInitLocalDefs.vdmpp]61 msPassed
testCase[5 : StaticCounter.vdmpp]35 msPassed
testCase[5 : StaticCounter.vdmpp]38 msPassed
testCase[5 : StaticCounter.vdmpp]38 msPassed
testCase[5 : StaticCounter.vdmpp]35 msPassed
testCase[6 : ObjectBind.vdmpp]26 msPassed
testCase[6 : ObjectBind.vdmpp]26 msPassed
testCase[6 : ObjectBind.vdmpp]26 msPassed
testCase[6 : ObjectBind.vdmpp]26 msPassed
testCase[7 : CounterValueObjectWithStaticNat.vdmpp]38 msPassed
testCase[7 : CounterValueObjectWithStaticNat.vdmpp]24 msPassed
testCase[7 : CounterValueObjectWithStaticNat.vdmpp]38 msPassed
testCase[7 : CounterValueObjectWithStaticNat.vdmpp]24 msPassed