![[Jenkins]](/jenkins/static/785b2ad7/images/jenkins-header-logo-v2.svg){kind=logo}
Test Result : RtOutputTest
0 failures
(±0)
12 tests
(±0)
All Tests
| Test name | Duration | Status |
| testCase[0 : AsyncCounterInc.vdmrt] | 50 ms | Passed |
| testCase[0 : AsyncCounterInc.vdmrt] | 56 ms | Passed |
| testCase[0 : AsyncCounterInc.vdmrt] | 56 ms | Passed |
| testCase[0 : AsyncCounterInc.vdmrt] | 50 ms | Passed |
| testCase[1 : CyclesSimple.vdmrt] | 19 ms | Passed |
| testCase[1 : CyclesSimple.vdmrt] | 22 ms | Passed |
| testCase[1 : CyclesSimple.vdmrt] | 19 ms | Passed |
| testCase[1 : CyclesSimple.vdmrt] | 22 ms | Passed |
| testCase[2 : DurationSimple.vdmrt] | 16 ms | Passed |
| testCase[2 : DurationSimple.vdmrt] | 16 ms | Passed |
| testCase[2 : DurationSimple.vdmrt] | 21 ms | Passed |
| testCase[2 : DurationSimple.vdmrt] | 21 ms | Passed |