![[Jenkins]](/jenkins/static/dde5e32c/images/jenkins-header-logo-v2.svg){kind=logo}
Test Result : org.overture.vdm2jml.tests
0 failures
(±0)
, 40 skipped
(±0)
712 tests
(±0)
All Tests
| Class | Duration | Fail | (diff) | Skip | (diff) | Pass | (diff) | Total | (diff) |
| JmlOutputTests | 29 sec | 0 | 0 | 340 | 340 | ||||
| JmlPassTypeCheckTests | 0 ms | 0 | 40 | 0 | 40 | ||||
| JmlReuseSlTraceOutputTest | 1.5 sec | 0 | 0 | 48 | 48 | ||||
| JmlSlTraceOutputTest | 0.63 sec | 0 | 0 | 12 | 12 | ||||
| LeafTypeCallTests | 0 ms | 0 | 0 | 44 | 44 | ||||
| NameGenTests | 72 ms | 0 | 0 | 24 | 24 | ||||
| PostCondNoStateTests | 2 ms | 0 | 0 | 20 | 20 | ||||
| PostCondWithStateTests | 6 ms | 0 | 0 | 20 | 20 | ||||
| PreCondNoStateTests | 0 ms | 0 | 0 | 16 | 16 | ||||
| PreCondWithStateTests | 6 ms | 0 | 0 | 16 | 16 | ||||
| PurityTests | 0 ms | 0 | 0 | 16 | 16 | ||||
| RecInvTests | 2 ms | 0 | 0 | 16 | 16 | ||||
| StateTests | 0 ms | 0 | 0 | 16 | 16 | ||||
| TypeDependencyTests | 0.12 sec | 0 | 0 | 40 | 40 | ||||
| V2JCallTests | 6 ms | 0 | 0 | 44 | 44 |