Test Result : TracesStateOutputTest

0 failures
32 tests
Took 4.6 sec.

All Tests

Test nameDurationStatus
testCase[0 : StaticCounterOtherClass.vdmpp]0.17 secPassed
Package core / testCase[0 : StaticCounterOtherClass.vdmpp]0.58 secPassed
Install IDE / testCase[0 : StaticCounterOtherClass.vdmpp]0.17 secPassed
testCase[0 : StaticCounterOtherClass.vdmpp]0.58 secPassed
testCase[1 : SharedObjectBind.vdmpp]87 msPassed
Package core / testCase[1 : SharedObjectBind.vdmpp]0.24 secPassed
testCase[1 : SharedObjectBind.vdmpp]0.24 secPassed
Install IDE / testCase[1 : SharedObjectBind.vdmpp]87 msPassed
testCase[2 : CounterInstanceVarObjectWithStaticNat.vdmpp]0.18 secPassed
Install IDE / testCase[2 : CounterInstanceVarObjectWithStaticNat.vdmpp]0.11 secPassed
testCase[2 : CounterInstanceVarObjectWithStaticNat.vdmpp]0.11 secPassed
Package core / testCase[2 : CounterInstanceVarObjectWithStaticNat.vdmpp]0.18 secPassed
testCase[3 : CounterValueObjectWithNonStaticNat.vdmpp]76 msPassed
testCase[3 : CounterValueObjectWithNonStaticNat.vdmpp]0.1 secPassed
Install IDE / testCase[3 : CounterValueObjectWithNonStaticNat.vdmpp]0.1 secPassed
Package core / testCase[3 : CounterValueObjectWithNonStaticNat.vdmpp]76 msPassed
testCase[4 : OpCallsUsedToInitLocalDefs.vdmpp]0.1 secPassed
testCase[4 : OpCallsUsedToInitLocalDefs.vdmpp]41 msPassed
Install IDE / testCase[4 : OpCallsUsedToInitLocalDefs.vdmpp]0.1 secPassed
Package core / testCase[4 : OpCallsUsedToInitLocalDefs.vdmpp]41 msPassed
testCase[5 : StaticCounter.vdmpp]0.15 secPassed
Package core / testCase[5 : StaticCounter.vdmpp]67 msPassed
testCase[5 : StaticCounter.vdmpp]67 msPassed
Install IDE / testCase[5 : StaticCounter.vdmpp]0.15 secPassed
Package core / testCase[6 : ObjectBind.vdmpp]62 msPassed
Install IDE / testCase[6 : ObjectBind.vdmpp]0.1 secPassed
testCase[6 : ObjectBind.vdmpp]0.1 secPassed
testCase[6 : ObjectBind.vdmpp]62 msPassed
testCase[7 : CounterValueObjectWithStaticNat.vdmpp]0.14 secPassed
testCase[7 : CounterValueObjectWithStaticNat.vdmpp]72 msPassed
Package core / testCase[7 : CounterValueObjectWithStaticNat.vdmpp]72 msPassed
Install IDE / testCase[7 : CounterValueObjectWithStaticNat.vdmpp]0.14 secPassed