Test Result
0 failures
(-5)
, 3 skipped
(±0)
193 tests
(±0)
All Tests
Package | Duration | Fail | (diff) | Skip | (diff) | Pass | (diff) | Total | (diff) |
org.overture.codegen.vdm2c | 12 min | 0 | -5 | 3 | 190 | +5 | 193 |