![[Jenkins]](/jenkins/static/aeeb6498/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] | 54 ms | Passed |
| testCase[0 : AsyncCounterInc.vdmrt] | 57 ms | Passed |
| testCase[0 : AsyncCounterInc.vdmrt] | 54 ms | Passed |
| testCase[0 : AsyncCounterInc.vdmrt] | 57 ms | Passed |
| testCase[1 : CyclesSimple.vdmrt] | 23 ms | Passed |
| testCase[1 : CyclesSimple.vdmrt] | 23 ms | Passed |
| testCase[1 : CyclesSimple.vdmrt] | 35 ms | Passed |
| testCase[1 : CyclesSimple.vdmrt] | 35 ms | Passed |
| testCase[2 : DurationSimple.vdmrt] | 28 ms | Passed |
| testCase[2 : DurationSimple.vdmrt] | 22 ms | Passed |
| testCase[2 : DurationSimple.vdmrt] | 22 ms | Passed |
| testCase[2 : DurationSimple.vdmrt] | 28 ms | Passed |