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 |