![[Jenkins]](/jenkins/static/dde5e32c/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] | 0.11 sec | Passed |
| testCase[0 : AsyncCounterInc.vdmrt] | 0.11 sec | Passed |
| testCase[0 : AsyncCounterInc.vdmrt] | 51 ms | Passed |
| testCase[0 : AsyncCounterInc.vdmrt] | 51 ms | Passed |
| testCase[1 : CyclesSimple.vdmrt] | 18 ms | Passed |
| testCase[1 : CyclesSimple.vdmrt] | 43 ms | Passed |
| testCase[1 : CyclesSimple.vdmrt] | 18 ms | Passed |
| testCase[1 : CyclesSimple.vdmrt] | 43 ms | Passed |
| testCase[2 : DurationSimple.vdmrt] | 17 ms | Passed |
| testCase[2 : DurationSimple.vdmrt] | 34 ms | Passed |
| testCase[2 : DurationSimple.vdmrt] | 34 ms | Passed |
| testCase[2 : DurationSimple.vdmrt] | 17 ms | Passed |