Test Result : ClassesRtClassicTest

0 failures (±0)
12 tests (±0)
Took 1.5 sec.

All Tests

Test nameDurationStatus
testCase[0 : PacemakerRT.vdmrt]68 msPassed
Package core / testCase[0 : PacemakerRT.vdmrt]68 msPassed
testCase[1 : CMRT.vdmrt]0.1 secPassed
Package core / testCase[1 : CMRT.vdmrt]0.1 secPassed
testCase[2 : VDMRT.vdmrt]0.29 secPassed
Package core / testCase[2 : VDMRT.vdmrt]0.29 secPassed
testCase[3 : oldcarradioRT.vdmrt]95 msPassed
Package core / testCase[3 : oldcarradioRT.vdmrt]95 msPassed
testCase[4 : MSAWRT.vdmrt]0.11 secPassed
Package core / testCase[4 : MSAWRT.vdmrt]0.11 secPassed
testCase[5 : iiossRT.vdmrt]0.11 secPassed
Package core / testCase[5 : iiossRT.vdmrt]0.11 secPassed