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

3 failures (+3)
690 tests (±0)
Took 10 min.

All Failed Tests

Test NameDurationAge
 org.overture.codegen.tests.exec.ClassicJavaGenTest.test[CashDispenserPP.vdmpp]1.7 sec2
 org.overture.codegen.tests.exec.ConcurrencyClassicJavaGenTest.test[POP3_LogBased_Test1.vdmpp]2.5 sec2
 org.overture.codegen.tests.exec.ConfiguredCloningJavaGenTest.test[CashDispenserPP.vdmpp]1.4 sec2

All Tests

ClassDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
BindJavaGenTest10 sec001111
ClassicJavaGenTest2.9 sec1+101-12
ComplexExpJavaGenTest2 min 42 sec00174174
ConcurrencyClassicJavaGenTest2.5 sec1+100-11
ConcurrencyJavaGenTest17 sec001717
ConfiguredCloningJavaGenTest3.4 sec1+102-13
ConfiguredStringJavaGenTest28 sec002929
ExpJavaGenTest1 min 45 sec00126126
FunctionValueJavaGenTest16 sec001818
IsExpJavaGenTest18 sec002121
PackageJavaGenTest4.5 sec0055
PatternJavaGenTest1 min 3 sec006868
PrePostJavaGenTest9.3 sec001010
RtJavaGenTest2.6 sec0033
SlJavaGenTest19 sec002222
SpecificationJavaGenTest59 sec008181
TracesExpansionJavaGenTest23 sec002222
TracesSlJavaGenTest11 sec001212
TracesStateJavaGenTest8.3 sec0088
TracesVerdictJavaGenTest6.6 sec0066
UnionTypeJavaGenTest45 sec005151