Test Result : RtOutputTest

0 failures (±0)
12 tests (±0)
Took 0.43 sec.

All Tests

Test nameDurationStatus
testCase[0 : AsyncCounterInc.vdmrt]57 msPassed
testCase[0 : AsyncCounterInc.vdmrt]57 msPassed
testCase[0 : AsyncCounterInc.vdmrt]54 msPassed
testCase[0 : AsyncCounterInc.vdmrt]54 msPassed
testCase[1 : CyclesSimple.vdmrt]35 msPassed
testCase[1 : CyclesSimple.vdmrt]35 msPassed
testCase[1 : CyclesSimple.vdmrt]23 msPassed
testCase[1 : CyclesSimple.vdmrt]23 msPassed
testCase[2 : DurationSimple.vdmrt]28 msPassed
testCase[2 : DurationSimple.vdmrt]28 msPassed
testCase[2 : DurationSimple.vdmrt]22 msPassed
testCase[2 : DurationSimple.vdmrt]22 msPassed