Test Result : RtOutputTest

0 failures (±0)

3 tests (±0)

All Tests

Test name	Duration	Status
testCase[0 : AsyncCounterInc.vdmrt]	33 ms	Passed
testCase[1 : CyclesSimple.vdmrt]	14 ms	Passed
testCase[2 : DurationSimple.vdmrt]	12 ms	Passed