Test Result : (root)

0 failures
42 tests
Took 72 ms.

All Tests

ClassDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
IOTest15 ms002+22+2
IsTest1 ms002+22+2
MapTest39 ms008+88+8
PermuteArrayTest2 ms003+33+3
PermutorTest5 ms003+33+3
TupleTest1 ms003+33+3
VDMUtilTest7 ms0021+2121+21