Test Result : org.overture.codegen.vdm2c

0 failures , 2 skipped
193 tests
Took 9 min 23 sec.

All Tests

ClassDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
CasesTest18 sec004+44+4
ClassAssocAnalysisTest20 ms006+66+6
ContractsGarbageCollectionTests3.4 sec001+11+1
ContractsTests17 sec001+11+1
DistSystemAnalysisTests86 ms001+11+1
DistributionTests17 sec001+11+1
ExplicitMemoryManagementTests5.8 sec001+11+1
ExternalTests0 ms001+11+1
FeatureAnalysisTest25 ms0017+1717+17
IsExpTypeEncoderTest0.21 sec0023+2323+23
IsExpUnionTypeFinderTest20 ms006+66+6
NameManglerTests9 ms0020+2020+20
NativeClassesGarbageCollectionTest1 min 49 sec01+125+2526+26
NativeClassesTests1 min 51 sec01+125+2526+26
NativeGarbageCollectionTest2 min 3 sec0024+2424+24
NativeTests1 min 49 sec0024+2424+24
PaperExampleTests19 sec004+44+4
TimeFinderTest1 ms001+11+1
ValueTypeGarbageCollectionTests13 sec003+33+3
ValueTypesTests12 sec003+33+3