![[Jenkins]](/jenkins/static/d9ee5665/images/jenkins-header-logo-v2.svg){kind=logo}
Test Result : org.overture.codegen.vdm2c
0 failures
(-5)
, 3 skipped
(±0)
193 tests
(±0)
All Tests
| Class | Duration | Fail | (diff) | Skip | (diff) | Pass | (diff) | Total | (diff) |
| CasesTest | 22 sec | 0 | -4 | 0 | 4 | +4 | 4 | ||
| ClassAssocAnalysisTest | 15 ms | 0 | 0 | 6 | 6 | ||||
| ContractsGarbageCollectionTests | 7 sec | 0 | 0 | 1 | 1 | ||||
| ContractsTests | 16 sec | 0 | 0 | 1 | 1 | ||||
| DistSystemAnalysisTests | 72 ms | 0 | 0 | 1 | 1 | ||||
| DistributionTests | 17 sec | 0 | 0 | 1 | 1 | ||||
| ExplicitMemoryManagementTests | 0 ms | 0 | 1 | 0 | 1 | ||||
| ExternalTests | 0 ms | 0 | 0 | 1 | 1 | ||||
| FeatureAnalysisTest | 11 ms | 0 | 0 | 17 | 17 | ||||
| IsExpTypeEncoderTest | 0.16 sec | 0 | 0 | 23 | 23 | ||||
| IsExpUnionTypeFinderTest | 8 ms | 0 | 0 | 6 | 6 | ||||
| NameManglerTests | 0 ms | 0 | 0 | 20 | 20 | ||||
| NativeClassesGarbageCollectionTest | 2 min 41 sec | 0 | 1 | 25 | 26 | ||||
| NativeClassesTests | 2 min 37 sec | 0 | 1 | 25 | 26 | ||||
| NativeGarbageCollectionTest | 2 min 34 sec | 0 | 0 | 24 | 24 | ||||
| NativeTests | 2 min 31 sec | 0 | 0 | 24 | 24 | ||||
| PaperExampleTests | 23 sec | 0 | -1 | 0 | 4 | +1 | 4 | ||
| TimeFinderTest | 0 ms | 0 | 0 | 1 | 1 | ||||
| ValueTypeGarbageCollectionTests | 19 sec | 0 | 0 | 3 | 3 | ||||
| ValueTypesTests | 19 sec | 0 | 0 | 3 | 3 |