Test Result : RtOutputTest

0 failures

3 tests

All Tests

Test name	Duration	Status
testCase[0 : AsyncCounterInc.vdmrt]	66 ms	Passed
testCase[1 : CyclesSimple.vdmrt]	23 ms	Passed
testCase[2 : DurationSimple.vdmrt]	22 ms	Passed