Test Result : ClassesRtClassicTest

0 failures (±0)

6 tests (±0)

All Tests

Test name	Duration	Status
testCase[0 : PacemakerRT.vdmrt]	66 ms	Passed
testCase[1 : CMRT.vdmrt]	0.12 sec	Passed
testCase[2 : VDMRT.vdmrt]	0.67 sec	Passed
testCase[3 : oldcarradioRT.vdmrt]	0.22 sec	Passed
testCase[4 : MSAWRT.vdmrt]	0.23 sec	Passed
testCase[5 : iiossRT.vdmrt]	0.19 sec	Passed