Test Result : PogBugRegressionTest

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

All Tests

Test nameDurationStatus
testCase[0 : 299.vdmsl]6 msPassed
testCase[0 : 299.vdmsl]6 msPassed
testCase[0 : 299.vdmsl]3 msPassed
testCase[0 : 299.vdmsl]3 msPassed
testCase[1 : 293.vdmsl]4 msPassed
testCase[1 : 293.vdmsl]2 msPassed
testCase[1 : 293.vdmsl]4 msPassed
testCase[1 : 293.vdmsl]2 msPassed
testCase[10 : 456.vdmsl]20 msPassed
testCase[10 : 456.vdmsl]20 msPassed
testCase[10 : 456.vdmsl]2 msPassed
testCase[10 : 456.vdmsl]2 msPassed
testCase[11 : 287.vdmsl]11 msPassed
testCase[11 : 287.vdmsl]11 msPassed
testCase[11 : 287.vdmsl]42 msPassed
testCase[11 : 287.vdmsl]42 msPassed
testCase[12 : 292.vdmsl]43 msPassed
testCase[12 : 292.vdmsl]27 msPassed
testCase[12 : 292.vdmsl]43 msPassed
testCase[12 : 292.vdmsl]27 msPassed
testCase[13 : 356.vdmsl]12 msPassed
testCase[13 : 356.vdmsl]15 msPassed
testCase[13 : 356.vdmsl]12 msPassed
testCase[13 : 356.vdmsl]15 msPassed
testCase[14 : 495.vdmsl]31 msPassed
testCase[14 : 495.vdmsl]43 msPassed
testCase[14 : 495.vdmsl]31 msPassed
testCase[14 : 495.vdmsl]43 msPassed
testCase[2 : 288.vdmpp]63 msPassed
testCase[2 : 288.vdmpp]35 msPassed
testCase[2 : 288.vdmpp]63 msPassed
testCase[2 : 288.vdmpp]35 msPassed
testCase[3 : 404.vdmpp]23 msPassed
testCase[3 : 404.vdmpp]18 msPassed
testCase[3 : 404.vdmpp]18 msPassed
testCase[3 : 404.vdmpp]23 msPassed
testCase[4 : 445.vdmpp]37 msPassed
testCase[4 : 445.vdmpp]27 msPassed
testCase[4 : 445.vdmpp]37 msPassed
testCase[4 : 445.vdmpp]27 msPassed
testCase[5 : 291.vdmsl]61 msPassed
testCase[5 : 291.vdmsl]47 msPassed
testCase[5 : 291.vdmsl]61 msPassed
testCase[5 : 291.vdmsl]47 msPassed
testCase[6 : 289.vdmsl]24 msPassed
testCase[6 : 289.vdmsl]40 msPassed
testCase[6 : 289.vdmsl]40 msPassed
testCase[6 : 289.vdmsl]24 msPassed
testCase[7 : 296.vdmpp]14 msPassed
testCase[7 : 296.vdmpp]14 msPassed
testCase[7 : 296.vdmpp]2 msPassed
testCase[7 : 296.vdmpp]2 msPassed
testCase[8 : 295.vdmsl]18 msPassed
testCase[8 : 295.vdmsl]35 msPassed
testCase[8 : 295.vdmsl]35 msPassed
testCase[8 : 295.vdmsl]18 msPassed
testCase[9 : 455.vdmsl]25 msPassed
testCase[9 : 455.vdmsl]43 msPassed
testCase[9 : 455.vdmsl]25 msPassed
testCase[9 : 455.vdmsl]43 msPassed