Test Result : BugRegressionTest

0 failures (±0)
6 tests (±0)
Took 94 ms.

All Tests

Test nameDurationStatus
testCase[0 : 392.vdmpp]23 msPassed
Package core / testCase[0 : 392.vdmpp]23 msPassed
testCase[1 : 488.vdmpp]19 msPassed
Package core / testCase[1 : 488.vdmpp]19 msPassed
testCase[2 : 544.vdmpp]5 msPassed
Package core / testCase[2 : 544.vdmpp]5 msPassed