Test Result

0 failures
2 tests
Took 3.2 sec.

All Tests

PackageDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
vdm3.2 sec002+22+2