![[Jenkins]](/jenkins/static/4ffc0891/images/jenkins-header-logo-v2.svg){kind=logo}
Test Result : org.overture.vdm2jml.tests
0 failures
, 10 skipped
178 tests
All Tests
| Class | Duration | Fail | (diff) | Skip | (diff) | Pass | (diff) | Total | (diff) |
| JmlOutputTests | 5.4 sec | 0 | 0 | 85 | +85 | 85 | +85 | ||
| JmlPassTypeCheckTests | 0 ms | 0 | 10 | +10 | 0 | 10 | +10 | ||
| JmlReuseSlTraceOutputTest | 0.31 sec | 0 | 0 | 12 | +12 | 12 | +12 | ||
| JmlSlTraceOutputTest | 0.14 sec | 0 | 0 | 3 | +3 | 3 | +3 | ||
| LeafTypeCallTests | 0 ms | 0 | 0 | 11 | +11 | 11 | +11 | ||
| NameGenTests | 12 ms | 0 | 0 | 6 | +6 | 6 | +6 | ||
| PostCondNoStateTests | 0 ms | 0 | 0 | 5 | +5 | 5 | +5 | ||
| PostCondWithStateTests | 1 ms | 0 | 0 | 5 | +5 | 5 | +5 | ||
| PreCondNoStateTests | 0 ms | 0 | 0 | 4 | +4 | 4 | +4 | ||
| PreCondWithStateTests | 0 ms | 0 | 0 | 4 | +4 | 4 | +4 | ||
| PurityTests | 0 ms | 0 | 0 | 4 | +4 | 4 | +4 | ||
| RecInvTests | 0 ms | 0 | 0 | 4 | +4 | 4 | +4 | ||
| StateTests | 0 ms | 0 | 0 | 4 | +4 | 4 | +4 | ||
| TypeDependencyTests | 26 ms | 0 | 0 | 10 | +10 | 10 | +10 | ||
| V2JCallTests | 2 ms | 0 | 0 | 11 | +11 | 11 | +11 |