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