Test Result : PogBugRegressionTest

0 failures (±0)
30 tests (±0)
Took 0.27 sec.

All Tests

Test nameDurationStatus
testCase[0 : 299.vdmsl]3 msPassed
Package core / testCase[0 : 299.vdmsl]3 msPassed
testCase[1 : 293.vdmsl]1 msPassed
Package core / testCase[1 : 293.vdmsl]1 msPassed
Package core / testCase[10 : 456.vdmsl]8 msPassed
testCase[10 : 456.vdmsl]8 msPassed
Package core / testCase[11 : 287.vdmsl]5 msPassed
testCase[11 : 287.vdmsl]5 msPassed
testCase[12 : 292.vdmsl]5 msPassed
Package core / testCase[12 : 292.vdmsl]5 msPassed
testCase[13 : 356.vdmsl]4 msPassed
Package core / testCase[13 : 356.vdmsl]4 msPassed
testCase[14 : 495.vdmsl]8 msPassed
Package core / testCase[14 : 495.vdmsl]8 msPassed
testCase[2 : 288.vdmpp]29 msPassed
Package core / testCase[2 : 288.vdmpp]29 msPassed
testCase[3 : 404.vdmpp]9 msPassed
Package core / testCase[3 : 404.vdmpp]9 msPassed
testCase[4 : 445.vdmpp]17 msPassed
Package core / testCase[4 : 445.vdmpp]17 msPassed
testCase[5 : 291.vdmsl]19 msPassed
Package core / testCase[5 : 291.vdmsl]19 msPassed
Package core / testCase[6 : 289.vdmsl]9 msPassed
testCase[6 : 289.vdmsl]9 msPassed
testCase[7 : 296.vdmpp]5 msPassed
Package core / testCase[7 : 296.vdmpp]5 msPassed
Package core / testCase[8 : 295.vdmsl]4 msPassed
testCase[8 : 295.vdmsl]4 msPassed
Package core / testCase[9 : 455.vdmsl]9 msPassed
testCase[9 : 455.vdmsl]9 msPassed