![[Jenkins]](/jenkins/static/4ffc0891/images/jenkins-header-logo-v2.svg){kind=logo}
Test Result : (root)
0 failures
(±0)
42 tests
(±0)
All Tests
| Class | Duration | Fail | (diff) | Skip | (diff) | Pass | (diff) | Total | (diff) |
| IOTest | 11 ms | 0 | 0 | 2 | 2 | ||||
| IsTest | 0 ms | 0 | 0 | 2 | 2 | ||||
| MapTest | 23 ms | 0 | 0 | 8 | 8 | ||||
| PermuteArrayTest | 3 ms | 0 | 0 | 3 | 3 | ||||
| PermutorTest | 5 ms | 0 | 0 | 3 | 3 | ||||
| TupleTest | 1 ms | 0 | 0 | 3 | 3 | ||||
| VDMUtilTest | 13 ms | 0 | 0 | 21 | 21 |