![[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 | 8 ms | 0 | 0 | 2 | 2 | ||||
| IsTest | 0 ms | 0 | 0 | 2 | 2 | ||||
| MapTest | 24 ms | 0 | 0 | 8 | 8 | ||||
| PermuteArrayTest | 4 ms | 0 | 0 | 3 | 3 | ||||
| PermutorTest | 2 ms | 0 | 0 | 3 | 3 | ||||
| TupleTest | 0 ms | 0 | 0 | 3 | 3 | ||||
| VDMUtilTest | 11 ms | 0 | 0 | 21 | 21 |