Test Result : ClassesRtClassicTest

0 failures (±0)

28 tests (±0)

All Tests

Test name	Duration	Status
testCase[0 : PacemakerRT.vdmrt]	62 ms	Passed
testCase[0 : PacemakerRT.vdmrt]	49 ms	Passed
testCase[0 : PacemakerRT.vdmrt]	49 ms	Passed
testCase[0 : PacemakerRT.vdmrt]	62 ms	Passed
testCase[1 : CMRT.vdmrt]	72 ms	Passed
testCase[1 : CMRT.vdmrt]	72 ms	Passed
testCase[1 : CMRT.vdmrt]	0.1 sec	Passed
testCase[1 : CMRT.vdmrt]	0.1 sec	Passed
testCase[2 : RobotRT.vdmrt]	0.21 sec	Passed
testCase[2 : RobotRT.vdmrt]	0.28 sec	Passed
testCase[2 : RobotRT.vdmrt]	0.28 sec	Passed
testCase[2 : RobotRT.vdmrt]	0.21 sec	Passed
testCase[3 : VDMRT.vdmrt]	0.31 sec	Passed
testCase[3 : VDMRT.vdmrt]	0.31 sec	Passed
testCase[3 : VDMRT.vdmrt]	0.23 sec	Passed
testCase[3 : VDMRT.vdmrt]	0.23 sec	Passed
testCase[4 : oldcarradioRT.vdmrt]	81 ms	Passed
testCase[4 : oldcarradioRT.vdmrt]	81 ms	Passed
testCase[4 : oldcarradioRT.vdmrt]	0.1 sec	Passed
testCase[4 : oldcarradioRT.vdmrt]	0.1 sec	Passed
testCase[5 : MSAWRT.vdmrt]	0.14 sec	Passed
testCase[5 : MSAWRT.vdmrt]	0.13 sec	Passed
testCase[5 : MSAWRT.vdmrt]	0.14 sec	Passed
testCase[5 : MSAWRT.vdmrt]	0.13 sec	Passed
testCase[6 : iiossRT.vdmrt]	62 ms	Passed
testCase[6 : iiossRT.vdmrt]	85 ms	Passed
testCase[6 : iiossRT.vdmrt]	62 ms	Passed
testCase[6 : iiossRT.vdmrt]	85 ms	Passed