Test Result
0 failures
, 2 skipped
193 tests
All Tests
Package | Duration | Fail | (diff) | Skip | (diff) | Pass | (diff) | Total | (diff) |
org.overture.codegen.vdm2c | 8 min 25 sec | 0 | 2 | +2 | 191 | +191 | 193 | +193 |