![[Jenkins]](/jenkins/static/785b2ad7/images/jenkins-header-logo-v2.svg){kind=logo}
Test Result : (root)
0 failures
(±0)
42 tests
(+23)
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 | 2 | +2 | ||
| MapTest | 40 ms | 0 | 0 | 8 | 8 | ||||
| PermuteArrayTest | 5 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 | 21 | +21 |