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

0 failures (±0) , 690 skipped (±0)
690 tests (±0)
Took 0 ms.

All Tests

ClassDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
BindJavaGenTest0 ms011011
ClassicJavaGenTest0 ms0202
ComplexExpJavaGenTest0 ms01740174
ConcurrencyClassicJavaGenTest0 ms0101
ConcurrencyJavaGenTest0 ms017017
ConfiguredCloningJavaGenTest0 ms0303
ConfiguredStringJavaGenTest0 ms029029
ExpJavaGenTest0 ms01260126
FunctionValueJavaGenTest0 ms018018
IsExpJavaGenTest0 ms021021
PackageJavaGenTest0 ms0505
PatternJavaGenTest0 ms068068
PrePostJavaGenTest0 ms010010
RtJavaGenTest0 ms0303
SlJavaGenTest0 ms022022
SpecificationJavaGenTest0 ms081081
TracesExpansionJavaGenTest0 ms022022
TracesSlJavaGenTest0 ms012012
TracesStateJavaGenTest0 ms0808
TracesVerdictJavaGenTest0 ms0606
UnionTypeJavaGenTest0 ms051051