Test Result : (root)

0 failures (±0)
84 tests (-84)
Took 0.13 sec.

All Tests

ClassDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
IOTest14 ms004-44-4
IsTest0 ms004-44-4
MapTest64 ms0016-1616-16
PermuteArrayTest12 ms006-66-6
PermutorTest8 ms006-66-6
TupleTest0 ms006-66-6
VDMUtilTest32 ms0042-4242-42