Test Result : SystemClassOutputTest

0 failures
12 tests
Took 0.69 sec.

All Tests

Test nameDurationStatus
testCase[0 : SetPriorityConnectThreeCPUs.vdmrt]74 msPassed
testCase[0 : SetPriorityConnectThreeCPUs.vdmrt]0.11 secPassed
Install IDE / testCase[0 : SetPriorityConnectThreeCPUs.vdmrt]0.11 secPassed
Package core / testCase[0 : SetPriorityConnectThreeCPUs.vdmrt]74 msPassed
Install IDE / testCase[1 : ConnectTwoCPUs.vdmrt]74 msPassed
Package core / testCase[1 : ConnectTwoCPUs.vdmrt]50 msPassed
testCase[1 : ConnectTwoCPUs.vdmrt]50 msPassed
testCase[1 : ConnectTwoCPUs.vdmrt]74 msPassed
Install IDE / testCase[2 : EmptySysClass.vdmrt]13 msPassed
testCase[2 : EmptySysClass.vdmrt]21 msPassed
testCase[2 : EmptySysClass.vdmrt]13 msPassed
Package core / testCase[2 : EmptySysClass.vdmrt]21 msPassed