Test Result : RtOutputTest

0 failures
12 tests
Took 1.5 sec.

All Tests

Test nameDurationStatus
Package core / testCase[0 : AsyncCounterInc.vdmrt]0.23 secPassed
Install IDE / testCase[0 : AsyncCounterInc.vdmrt]0.17 secPassed
testCase[0 : AsyncCounterInc.vdmrt]0.17 secPassed
testCase[0 : AsyncCounterInc.vdmrt]0.23 secPassed
Package core / testCase[1 : CyclesSimple.vdmrt]0.12 secPassed
testCase[1 : CyclesSimple.vdmrt]0.12 secPassed
testCase[1 : CyclesSimple.vdmrt]60 msPassed
Install IDE / testCase[1 : CyclesSimple.vdmrt]60 msPassed
testCase[2 : DurationSimple.vdmrt]66 msPassed
Install IDE / testCase[2 : DurationSimple.vdmrt]66 msPassed
Package core / testCase[2 : DurationSimple.vdmrt]0.1 secPassed
testCase[2 : DurationSimple.vdmrt]0.1 secPassed