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 |