Test Result : org.overture.codegen.tests.exec

3 failures (+3)

690 tests (±0)

All Failed Tests

Test Name	Duration	Age
org.overture.codegen.tests.exec.ClassicJavaGenTest.test[CashDispenserPP.vdmpp] Loading...	1.7 sec	2
org.overture.codegen.tests.exec.ConcurrencyClassicJavaGenTest.test[POP3_LogBased_Test1.vdmpp] Loading...	2.5 sec	2
org.overture.codegen.tests.exec.ConfiguredCloningJavaGenTest.test[CashDispenserPP.vdmpp] Loading...	1.4 sec	2

Class	Duration	Fail	(diff)	Skip	(diff)	Pass	(diff)	Total	(diff)
BindJavaGenTest	10 sec	0		0		11		11
ClassicJavaGenTest	2.9 sec	1	+1	0		1	-1	2
ComplexExpJavaGenTest	2 min 42 sec	0		0		174		174
ConcurrencyClassicJavaGenTest	2.5 sec	1	+1	0		0	-1	1
ConcurrencyJavaGenTest	17 sec	0		0		17		17
ConfiguredCloningJavaGenTest	3.4 sec	1	+1	0		2	-1	3
ConfiguredStringJavaGenTest	28 sec	0		0		29		29
ExpJavaGenTest	1 min 45 sec	0		0		126		126
FunctionValueJavaGenTest	16 sec	0		0		18		18
IsExpJavaGenTest	18 sec	0		0		21		21
PackageJavaGenTest	4.5 sec	0		0		5		5
PatternJavaGenTest	1 min 3 sec	0		0		68		68
PrePostJavaGenTest	9.3 sec	0		0		10		10
RtJavaGenTest	2.6 sec	0		0		3		3
SlJavaGenTest	19 sec	0		0		22		22
SpecificationJavaGenTest	59 sec	0		0		81		81
TracesExpansionJavaGenTest	23 sec	0		0		22		22
TracesSlJavaGenTest	11 sec	0		0		12		12
TracesStateJavaGenTest	8.3 sec	0		0		8		8
TracesVerdictJavaGenTest	6.6 sec	0		0		6		6
UnionTypeJavaGenTest	45 sec	0		0		51		51