Test Result : org.overture.vdm2jml.tests
0 failures
, 40 skipped
712 tests
All Tests
Class | Duration | Fail | (diff) | Skip | (diff) | Pass | (diff) | Total | (diff) |
JmlOutputTests | 1 min 7 sec | 0 | 0 | 340 | +340 | 340 | +340 | ||
JmlPassTypeCheckTests | 0 ms | 0 | 40 | +40 | 0 | 40 | +40 | ||
JmlReuseSlTraceOutputTest | 3.5 sec | 0 | 0 | 48 | +48 | 48 | +48 | ||
JmlSlTraceOutputTest | 1.5 sec | 0 | 0 | 12 | +12 | 12 | +12 | ||
LeafTypeCallTests | 6 ms | 0 | 0 | 44 | +44 | 44 | +44 | ||
NameGenTests | 98 ms | 0 | 0 | 24 | +24 | 24 | +24 | ||
PostCondNoStateTests | 2 ms | 0 | 0 | 20 | +20 | 20 | +20 | ||
PostCondWithStateTests | 0 ms | 0 | 0 | 20 | +20 | 20 | +20 | ||
PreCondNoStateTests | 4 ms | 0 | 0 | 16 | +16 | 16 | +16 | ||
PreCondWithStateTests | 6 ms | 0 | 0 | 16 | +16 | 16 | +16 | ||
PurityTests | 2 ms | 0 | 0 | 16 | +16 | 16 | +16 | ||
RecInvTests | 40 ms | 0 | 0 | 16 | +16 | 16 | +16 | ||
StateTests | 6 ms | 0 | 0 | 16 | +16 | 16 | +16 | ||
TypeDependencyTests | 0.46 sec | 0 | 0 | 40 | +40 | 40 | +40 | ||
V2JCallTests | 6 ms | 0 | 0 | 44 | +44 | 44 | +44 |