Test Result : (root)

0 failures
42 tests
Took 55 ms.

All Tests

ClassDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
IOTest10 ms002+22+2
IsTest0 ms002+22+2
MapTest25 ms008+88+8
PermuteArrayTest3 ms003+33+3
PermutorTest4 ms003+33+3
TupleTest1 ms003+33+3
VDMUtilTest12 ms0021+2121+21