Test Result : (root)

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

All Tests

ClassDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
IOTest24 ms004-44-4
IsTest2 ms004-44-4
MapTest57 ms0016-1616-16
PermuteArrayTest6 ms006-66-6
PermutorTest8 ms006-66-6
TupleTest4 ms006-66-6
VDMUtilTest28 ms0042-4242-42