![[Jenkins]](/jenkins/static/4ffc0891/images/jenkins-header-logo-v2.svg){kind=logo}
Test Result : org.overture.codegen.vdm2c
0 failures
(±0)
, 2 skipped
(±0)
193 tests
(±0)
All Tests
| Class | Duration | Fail | (diff) | Skip | (diff) | Pass | (diff) | Total | (diff) |
| CasesTest | 17 sec | 0 | 0 | 4 | 4 | ||||
| ClassAssocAnalysisTest | 1 ms | 0 | 0 | 6 | 6 | ||||
| ContractsGarbageCollectionTests | 3.5 sec | 0 | 0 | 1 | 1 | ||||
| ContractsTests | 9.9 sec | 0 | 0 | 1 | 1 | ||||
| DistSystemAnalysisTests | 69 ms | 0 | 0 | 1 | 1 | ||||
| DistributionTests | 17 sec | 0 | 0 | 1 | 1 | ||||
| ExplicitMemoryManagementTests | 6.5 sec | 0 | 0 | 1 | 1 | ||||
| ExternalTests | 0 ms | 0 | 0 | 1 | 1 | ||||
| FeatureAnalysisTest | 0 ms | 0 | 0 | 17 | 17 | ||||
| IsExpTypeEncoderTest | 0.12 sec | 0 | 0 | 23 | 23 | ||||
| IsExpUnionTypeFinderTest | 13 ms | 0 | 0 | 6 | 6 | ||||
| NameManglerTests | 7 ms | 0 | 0 | 20 | 20 | ||||
| NativeClassesGarbageCollectionTest | 1 min 51 sec | 0 | 1 | 25 | 26 | ||||
| NativeClassesTests | 1 min 48 sec | 0 | 1 | 25 | 26 | ||||
| NativeGarbageCollectionTest | 2 min 3 sec | 0 | 0 | 24 | 24 | ||||
| NativeTests | 1 min 48 sec | 0 | 0 | 24 | 24 | ||||
| PaperExampleTests | 17 sec | 0 | 0 | 4 | 4 | ||||
| TimeFinderTest | 3 ms | 0 | 0 | 1 | 1 | ||||
| ValueTypeGarbageCollectionTests | 18 sec | 0 | 0 | 3 | 3 | ||||
| ValueTypesTests | 17 sec | 0 | 0 | 3 | 3 |