Test Result : (root)
0 failures
42 tests
All Tests
Class | Duration | Fail | (diff) | Skip | (diff) | Pass | (diff) | Total | (diff) |
IOTest | 10 ms | 0 | 0 | 2 | +2 | 2 | +2 | ||
IsTest | 0 ms | 0 | 0 | 2 | +2 | 2 | +2 | ||
MapTest | 25 ms | 0 | 0 | 8 | +8 | 8 | +8 | ||
PermuteArrayTest | 3 ms | 0 | 0 | 3 | +3 | 3 | +3 | ||
PermutorTest | 4 ms | 0 | 0 | 3 | +3 | 3 | +3 | ||
TupleTest | 1 ms | 0 | 0 | 3 | +3 | 3 | +3 | ||
VDMUtilTest | 12 ms | 0 | 0 | 21 | +21 | 21 | +21 |