![[Jenkins]](/jenkins/static/d9ee5665/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 | 21 sec | 0 | 0 | 4 | 4 | ||||
| ClassAssocAnalysisTest | 3 ms | 0 | 0 | 6 | 6 | ||||
| ContractsGarbageCollectionTests | 7.3 sec | 0 | 0 | 1 | 1 | ||||
| ContractsTests | 14 sec | 0 | 0 | 1 | 1 | ||||
| DistSystemAnalysisTests | 0.15 sec | 0 | 0 | 1 | 1 | ||||
| DistributionTests | 16 sec | 0 | 0 | 1 | 1 | ||||
| ExplicitMemoryManagementTests | 6.3 sec | 0 | 0 | 1 | 1 | ||||
| ExternalTests | 0 ms | 0 | 0 | 1 | 1 | ||||
| FeatureAnalysisTest | 15 ms | 0 | 0 | 17 | 17 | ||||
| IsExpTypeEncoderTest | 0.27 sec | 0 | 0 | 23 | 23 | ||||
| IsExpUnionTypeFinderTest | 10 ms | 0 | 0 | 6 | 6 | ||||
| NameManglerTests | 8 ms | 0 | 0 | 20 | 20 | ||||
| NativeClassesGarbageCollectionTest | 2 min 37 sec | 0 | 1 | 25 | 26 | ||||
| NativeClassesTests | 1 min 56 sec | 0 | 1 | 25 | 26 | ||||
| NativeGarbageCollectionTest | 2 min 45 sec | 0 | 0 | 24 | 24 | ||||
| NativeTests | 2 min 29 sec | 0 | 0 | 24 | 24 | ||||
| PaperExampleTests | 20 sec | 0 | 0 | 4 | 4 | ||||
| TimeFinderTest | 4 ms | 0 | 0 | 1 | 1 | ||||
| ValueTypeGarbageCollectionTests | 23 sec | 0 | 0 | 3 | 3 | ||||
| ValueTypesTests | 22 sec | 0 | 0 | 3 | 3 |