Test Result : org.overture.codegen.vdm2c

0 failures (±0) , 4 skipped (±0)

386 tests (±0)

All Tests

Class	Duration	Fail	(diff)	Skip	(diff)	Pass	(diff)	Total	(diff)
CasesTest	31 sec	0		0		8		8
ClassAssocAnalysisTest	22 ms	0		0		12		12
ContractsGarbageCollectionTests	9.4 sec	0		0		2		2
ContractsTests	19 sec	0		0		2		2
DistSystemAnalysisTests	0.15 sec	0		0		2		2
DistributionTests	26 sec	0		0		2		2
ExplicitMemoryManagementTests	10 sec	0		0		2		2
ExternalTests	0 ms	0		0		2		2
FeatureAnalysisTest	42 ms	0		0		34		34
IsExpTypeEncoderTest	0.25 sec	0		0		46		46
IsExpUnionTypeFinderTest	32 ms	0		0		12		12
NameManglerTests	14 ms	0		0		40		40
NativeClassesGarbageCollectionTest	3 min 24 sec	0		2		50		52
NativeClassesTests	3 min 26 sec	0		2		50		52
NativeGarbageCollectionTest	3 min 16 sec	0		0		48		48
NativeTests	3 min 11 sec	0		0		48		48
PaperExampleTests	33 sec	0		0		8		8
TimeFinderTest	10 ms	0		0		2		2
ValueTypeGarbageCollectionTests	27 sec	0		0		6		6
ValueTypesTests	25 sec	0		0		6		6